Разрешимать булевой формулы, заданой в форме Крома
00:32
+2
КНФ в форме Хорна
00:30
-234
23:46
-215
Нет описания правки
23:44