Сколько различных решений имеет логическое уравнение?
- ;
- ;
- ;
- .
-
Конъюнкция равна
, только если оба множителя равны . Из получаем , , . Тогда , поэтому требуется . Единственный набор: . -
Дизъюнкция равна
, только если оба слагаемых равны . Из сразу следует . Тогда второе слагаемое при любом . Получаем два набора: и . -
Все три части дизъюнкции должны быть ложными. Импликация
только при , . Тогда , значит, требуется . Последняя импликация при , поскольку . Получаем единственный набор . -
Всего для четырёх переменных имеется
наборов. Импликация ложна лишь при посылке и заключении . Посылка требует ; тогда , и заключение ложно только при . Это один ложный набор . Остальные наборов являются решениями.
; ; ; -
