Математическая логика

Контрольная работа по дисциплине «Математическая логика», вариант № 5. В работе рассматриваются два задания. Первое посвящено проверке эквивалентности логических формул с использованием свойств операции симметрической разности: коммутативности и ассоциативности. На примере доказательства показано, что формулы переходят друг в друга путём циклического сдвига, что свидетельствует об их эквивалентности. Второе задание — анализ формулы, содержащей три логические переменные, с целью определить, является ли она тавтологией, противоречием или ни тем, ни другим. Для решения последовательно строится таблица истинности. Работа оформлена в текстовом файле, содержит подробные выкладки и пояснения к решению.