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