Question

Сколько различных решений имеет уравнение
(((¬K→ M) → (M/¬L/¬N)) / ((¬K/ ¬M) → (¬M/ L / N))) / (L/M) = 1
где K, L, M, N – логические переменные?
В ответе не нужно перечислять все различные наборы значений K, L, M, N, при которых выполнено данное равенство. В качестве ответа Вам нужно указать количество таких наборов.

Answer 1

Всего 4 решения
см приложение

b87175ec4983a9261defc4d38d4e3bbf.xls