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