Задача. Сколько различных решений имеет, представленная ниже, система уравнений?
Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны.
Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно.
Определим сначала на скольких наборах значений переменных Х1, Х2 и Х3 будет истинно уравнение 1.
В таблице чёрным шрифтом представлены все возможные наборы значений трёх переменных.
Зелёным шрифтом в таблице вписаны значения эквивалентности соответствующих переменных.
Можно видеть, что второй и седьмой наборы дадут 0, как результат импликации в первом уравнения ( 1 -> 0 = 0 ).
Следовательно первое уравнение с тремя переменными будет истинно только на 6 наборах.
Рассмотрим первое и второе уравнения вместе, приняв во внимание, что второе уравнение включает ещё одну переменную Х4.
В результате два уравнения с четырьмя переменными будут истинны на восьми наборах.
Аналогично можно показать , что:
- 3 уравнения с 5-ю переменными будут истинны на 10-ти наборах;
- 4 уравнения с 6-ю переменными будут истинны на 12-ти наборах;
и, наконец,
- 5 уравнений с 7-ю переменными будут истинны на 14-ти наборах.
Ответ . Представленная в задаче система из 5-ти уравнений с 7-ю неизвестными имеет 14 решений.