По предмету Математическая логика и теория алгоритмов нужно сделать 7 примеров.
1. Максимально упростите выражение, воспользовавшись законами логики Буля. Затем с помощью таблиц истинности
сравните ваше упрощенное выражение с исходным
2. Необходимо доказать клаузы: методом резолюций; «методом секвенций» (методом
«разбора формул»). При несовпадении результатов построить таблицу истинности.