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