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