Отправлено: 17.03.11 13:46. Заголовок: Задача В10

Здравствуйте Константин Юрьевич. Огромное спасибо Вам за помощь!
Затрудняюсь в упрощении логических выражений при решении следующих задач.
Если не упрощать, то таблица истинности очень громоздкая из 32 строк.
В10
Сколько различных решений имеет уравнение
((J → K) → (M /\ N /\ L)) /\ ((J /\ ¬K) → ¬(M /\ N /\ L)) /\ (M → J) = 1,
где J, K, L, M, N – логические переменные?
В ответе не нужно перечислять все различные наборы значений J, K, L, M и
N, при которых выполнено данное равенство. В качестве ответа нужно
указать количество таких наборов.

 Отправлено: 17.03.11 14:02. Заголовок: Здравствуйте! К сожа..

Здравствуйте!
К сожалению, с упрощением этих выражений все затрудняются. Все, что я могу сказать по этому поводу, изложено в файле B10.doc<\/u><\/a> на с. 10-15. Простых решений я не видел.

 Отправлено: 23.03.11 05:46. Заголовок: Дополнение: В файл B..

Дополнение:
В файл B10.doc<\/u><\/a> добавлен комбинированный метод решения задач этого типа, предложенный Т.Н. Наумовой.

 Отправлено: 28.03.11 23:28. Заголовок: Мне кажется наиболее..

Мне кажется наиболее удобным метод разделения задачи с 5 переменными на 2 задачи по 4 переменной в каждой. Например:
https://docs.google.com/View?id=ddjxgbx3_75gnw24qcg