Какие операции используются для записи сложных высказываний формулами Когда конъюнкция высказываний принимает значение истина Когда дизъюнкция высказываний принимает значение истина Закон дистрибутивности конъюнкции относительно дизъюнкции Законы де Моргана Как используется алгебра высказываний для решения логических задач? После того как условие задачи записано в виде логических формул, для её решения можно применить либо метод тождественных преобразований, либо составление таблицы истинности. Какой из этих методов вы отнесли бы к более формальным?