¬M ∧ K ∧ ¬N ∧ ¬J ∧ (L ∨¬L) = 0
где J, K, L, M, N – логические переменные?
При k=0 остальные переменные могут принимать любые значения 2^(4)=16 решений.
Когда k=1 переменные MNJ не могут быть одновременно нулями от переменной L ничего не зависит, поэтому из 16 решений надо отнять m=0, n=0,j=0,l=0 и m=0, n=0,j=0,l=1, то есть 14 решений.
Ответ 16 +14=30