37
правок
Изменения
→Полнота стандартного базиса
|id = prop1
|statement = Стандартный базис является полной системой булевых функций
|proof = Полнота этой системы легко доказывается тем, что любая булева функция может быть представлена в виде Данное утверждение - следствие [[ДНФ]] или [[КНФСДНФ|теоремы об СДНФ]]. А учитывая, что, по [[Множества|закону де Моргана]]:
<tex> x \land y = \lnot \left (\lnot x \lor \lnot y \right ) </tex>
