editor
177
правок
Изменения
Обязательно todo
== ОБЯЗАТЕЛЬНО ==
В определении <tex>SAT</tex> должно быть '''явно''' написано, что <tex>\phi</tex> он <tex>n</tex> переменных!
В определении <tex>SAT</tex> должно быть '''явно''' написано, что <tex>\phi</tex> он <tex>n</tex> переменных!
