Question

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