NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Версия от 14:11, 17 марта 2010; 192.168.0.2 (обсуждение)
Определения
- Литералом является переменная или отрицание переменной. Например, или .
- Дизъюнктом называется логическое ИЛИ одного или нескольких литералов. Например,