Формула нормальной Алгебра логики нормальная форма логической формулы примеры