В предыдущей лекции (https://zen.yandex.ru/media/id/603a418d1684900aa2499416/vyskazyvaniia-i-operacii-nad-nimi-62387ae3fafc15385fd4161e) рассматривались основные операции Логики высказываний: унарная операция – отрицание (она же инверсия), бинарные логические операции: конъюнкция, дизъюнкция, импликация и эквавалентность. В этой лекции рассмотрим ещё несколько бинарных операций над высказываниями, а также определим понятие «Таблица истинности». В результате изучения этой лекции предполагается, что...

В этом материале предлагаются варианты заданий по построению таблиц истинности различных формул логики высказываний. С теоретическим материалом можно познакомиться по ссылкам, представленным в https://dzen.ru/a/ZNDT3PE1AzJV4G4m?share_to=link. Упражнение 1. Постройте таблицы истинности для следующих формул логики высказываний (приведите все промежуточные расчёты). Проверьте правильность выполнения расчётов с помощью вопросно-ответной системы Wolfram|Alpha. Вариант № 1 B или НЕ (НЕ C и B) или B и...