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

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

Литералом является переменная или отрицание переменной. Например, [math]x[/math] или [math]\neg y[/math].

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