Изменения

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

Участник:Fad Oleg

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

Навигация