Изменения

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

Участник:Fad Oleg

12 байт добавлено, 18 июнь
Полнота стандартного базиса
<tex> x \lor y = \lnot \left (\lnot x \land \lnot y \right ) </tex>
Следовательно, стандартный базис является избыточным, так как базисами безызбыточными являются подмножества системы:
<tex> \{ \land , \lnot \} </tex> (конъюнктивный базис Буля)
Анонимный участник

Навигация