Олимпиадный тренинг

Задача . 1199


Задача

Темы:

Сколько различных решений имеет уравнение

 ¬((JK)(L/\M/\N))\/¬((L/\M/\N)(¬J\/K))\/(M/\J)=0
где J, K, L, M, N – логические переменные? В ответе не нужно перечислять все различные наборы значений J, K, L, M и N, при которых выполнено данное равенство. В качестве ответа вам нужно указать только количество таких наборов. 

time 1000 ms
memory 32 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя