История
4 сентября 2022
1 сентября 2022
20 октября 2019
9 октября 2019
7 января 2017
Нет описания правки
м+9
→КНФ в форме Крома
м-9
→Примечания
м+123
→КНФ в форме Хорна
м+21
→КНФ в форме Крома
м+15
→КНФ в форме Хорна
м+2
→КНФ в форме Крома
м-10
→КНФ в форме Крома
м-7
→КНФ в форме Крома
м-1
Нет описания правки
м-39
Нет описания правки
м-138
Нет описания правки
м+20
Нет описания правки
м-57
Нет описания правки
м+883
→Источники информации
м-203
→Примечания
м-144
→Примечания
м+144
→См.также
м+13
→КНФ в форме Крома
м-9
→КНФ в форме Хорна
м+19
→КНФ в форме Крома
м+95
→КНФ в форме Хорна
м+84
→Источники информации
м-2
→КНФ в форме Хорна
м+1
→КНФ в форме Хорна
м+42
6 января 2017
8 октября 2016
17 июня 2016
→КНФ в форме Хорна
м+19
→КНФ в форме Хорна
-458
→КНФ в форме Хорна
+11
→КНФ в форме Хорна
-291
→КНФ в форме Хорна
-253
→КНФ в форме Хорна
+375
→КНФ в форме Хорна
-536
→КНФ в форме Хорна
+1
→КНФ в форме Хорна
+308
→КНФ в форме Крома
+1
→Разрешимость булевой формулы, заданой в форме Крома
-104
→КНФ в форме Хорна
-96
→Разрешимость булевой формулы, заданой в форме Крома
→Разрешимость булевой формулы, заданой в форме Крома
+8
→Разрешимость булевой формулы, заданой в форме Крома
+262
→КНФ в форме Хорна
+581
→Разрешимость булевой формулы, заданой в форме Крома
+9
→Разрешимость булевой формулы, заданой в форме Крома
+2
→Разрешимать булевой формулы, заданой в форме Крома
+2
