Изменения

Положительные ответы на эти и другие вопросы существенно увеличивают прикладное значение выбранной системы функций

{{Определение

Приведение тождественной функции есть '''выражение булевой функции через другие'''.

<tex> x \oplus y = \left ( x \land \lnot y \right ) \lor \left ( \lnot x \land y \right ) = \left ( x \lor \lnot y \right ) \land \left ( \lnot x \lor y \right )</tex>

<tex>\langle x, y, z \rangle = \left ( x \land y \right ) \lor \left ( y \land z \right ) \lor \left ( x \land z \right ) = \left ( x \lor y \right ) \land \left ( y \lor z \right ) \land \left ( x \lor z \right )</tex>

== Подстановка одной функции в другую ==