Сколько различных решений имеет уравнение ((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.

Опять же повторюсь, не уверен, что правильно!