Изменения

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

Участник:Fad Oleg

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

Навигация