NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Версия от 13:55, 17 марта 2010; 192.168.0.2 (обсуждение)
Определение
Литералом является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \тупe y <\tex>.
Литералом является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \тупe y <\tex>.