Изменения

Перейти к: навигация, поиск

КНФ

54 байта добавлено, 07:50, 17 октября 2011
→‎Примеры СКНФ для некоторых функций
Стрелка Пирса: <tex> x \downarrow y = (\overline{x} \lor y) \land (x \lor \overline{y}) \land (\overline{x} \lor \overline{y})</tex>
Медиана трёхИсключающее или: <tex>f(x,\oplus y,\oplus z) = ( \overline{x } \land \lor overline{y } \lor land z) \land lor (\overline{x} \lor land y \lor land \overline{z}) \land lor (x \lor land \overline{y} \lor land \overline{z}) \land lor ( x \lor land y \lor \overline{land z})</tex>
== Ссылки ==
* [http://ru.wikipedia.org/wiki/%D0%A1%D0%9A%D0%9D%D0%A4 СКНФ — Википедия]
* [http://dvo.sut.ru/libr/himath/w163rabk/index.htm Е.Л Рабкин, Ю.Б. Фарфоровская — Дискретная математика]
Permenko
54
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/11334»

Навигация