NP-полнота задачи о выполнимости булевой формулы в форме КНФ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
====Определение====
 
====Определение====
''Литералом'' является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \тупe y <\tex>.
+
''Литералом'' является переменная или отрицание переменной. Например, <tex>x<\tex> или <tex>\neg y<\tex>.

Версия 13:57, 17 марта 2010

Определение

Литералом является переменная или отрицание переменной. Например, <tex>x<\tex> или <tex>\neg y<\tex>.