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