37
правок
Изменения
→Стандартный базис
}}
Для перехода к стандартному базису выражения любой булевой функции через стандартный базис достаточно показать выразить тождественные формулы функции (функции, которые при любых одинаковых аргументах принимают равные значения) для операций эквиваленции, импликации и константы <tex> 0 </tex>с использованием функций, принадлежащих стандартному базису, т. к. все остальные операции являются их отрицаниями:
<tex> x \leftrightarrow y = \left ( x \rightarrow y \right ) \land \left ( y \rightarrow x \right ) </tex>
<tex> 0 = x \land \lnot x </tex>
Тождественность функций можно доказать с помощью таблицы истинности.
==Полнота стандартного базиса==
