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