Задание

Сколько различных решений имеет уравнение

(K /\ L /\ M) \/ (¬L /\ ¬M /\ N) = 1

где K, L, M, N – логические переменные? В ответе не нужно перечислять все различные наборы значений K, L, M и N, при которых выполнено данное равенство. В качестве ответа вам нужно указать только количество таких наборов.