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

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

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

Версия 13:55, 17 марта 2010 (просмотреть исходный код) 192.168.0.2 (обсуждение) ← Предыдущая правка		Версия 13:57, 17 марта 2010 (просмотреть исходный код) 192.168.0.2 (обсуждение) Следующая правка →
Строка 1:		Строка 1:
	====Определение====		====Определение====
−	''Литералом'' является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \~~тупe~~ y <\tex>.	+	''Литералом'' является переменная или отрицание переменной. Например, <tex>x<\tex> или <tex>\neg y<\tex>.