Может кто-нибудь сказать, есть ли в булевой формуле CNF тавтология или нет?Если это не верно, что может быть возможной действительной формулой CNF, которая является Тавтологией?(В формате DIMACS)
c
c start with comments
c
c
p cnf 5 3
2 6 4 0
1 5 3 4 0
2 3 0