Логические законы и правила преобразования логических выражений Алгебра логики нормальная форма логической формулы примеры