вТаблица истинности сложного высказывания
((x3∨x1)⇒(x1⇔(x2∨x4)))∧(x4∧x1)
Решение
Переменных четыре, поэтому в таблице
Обозначим части формулы:
Тогда
Так как отрицание обеих частей не меняет значения эквивалентности,
Импликация
💡 Почему так
Импликация ложна только при истинной посылке и ложном следствии. Конъюнкция истинна, только когда истинны обе части. Отрицание конъюнкции
Ответ
Формула равна
Помогло?
