Сколько различных решений имеет уравнение ((k → l) /\ (m → ¬ n) →k) /\ ¬ (l → m) = 1 где k, l, m, n – логические переменные? в ответе не нужно перечислять все различные наборы значений k, l, m и n, при которых выполнено данное равенство. в качестве ответа вам нужно указать количество таких наборов.

2 набора.
Подробности в прикрепленных файлах.
Excel файл живой, можно подставить собственные значения.
Лист защищен без пароля, чтобы случайно не повредить формулы.
Формулы можно посмотреть в строке формул.
Программу в макросы.
Защиту снимаете и вставляете свои функции, получаете результат.