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

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

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

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