Синформатикой сколько различных решений имеет указанное уровнения, где 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