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

Всем привет! Данный способ можно применять как "оружие последнего шанса", если вдруг никак не получается закончить решение "умными" логическими рассуждениями. Начнем сразу с примера (всего их будет 3, так что если лень читать подробный разбор — переходите сразу к примерам 2 и 3 ниже ну или к видео): Пример 1 Логическая функция F задана выражением ((x ∧ w) ∨ (w ∧ z)) ≡ ((z → y) ∧ (y → x)) Дана частично заполненная таблица, содержащая неповторяющиеся строки полной таблицы истинности функции F. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w...