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