Помогите с информатикой

Сколько различных решений имеет указанное уровнения, где K, L, M, N-логические переменные?

(K^L^M)->(¬M^N) =1

1)   K*L*M → ¬M*N=1

¬(K*L*M)+¬M*N=1

¬K+¬L+¬M+¬M*N=1

¬K+¬L+¬M*(1+N)=1

¬K+¬L+¬M=1  -  для всех  K,L,M,N  кроме  двух решений:

                             (K=1; L=1; M=1; N=0) и (K=1; L=1; M=1; N=1)

2)  для уравнения с четырьмя переменными  общее количество решений равно 2^4=16

3) 16 - 2=14                 ответ 14