Сколько различных решений имеет уравнение ((K ^ L) ⇒ M) ^ (N ^ K V L) = 1, где K, L, M, N - логические переменные

Так как сам только начал разбирать эту тему, ответ не уверен что правильный.Чтобы данное уравнение обращалось в 1, нужно что бы (K*L) ->M = 1 И N*K*V*L = 1.составляем систему.1) N*K*L*V = 1 только при  N=K=L=V=1; следовательно возможно лишь одно решение данной части 1111. Проверим другую часть2) K*L - > M = 1 Упростив, получим НЕ K * НЕ L * M = 1;здесь уже больше вариантов, а именно 101; 111; 110; 100; 001, и для каждого еще подходят 2 значения переменной V, так как она не участвует в этой операции. Получим1010 1011 1111 1110 1100 1101 1001 1000 0010 0011.Но так как оба условия должны выполняться, то подходит лишь ответ 1111.Опять же повторюсь, не уверен, что правильно!