Изменения
→TAUT: добавил интервики на теорему Бермана — Форчуна
=== TAUT ===
{{main|Теорема Бермана — Форчуна}}
Язык булевых формул, являющихся тавтологиями. К этому языку тривиально сводится дополнение к <tex>\mathrm{SAT}</tex>: если отрицание формулы невыполнимо, то она является тавтологией, и наоборот.
