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