15.3 Verknüpfungsbasen
Der Satz zeigt auch, daß {/\, \/, no} eine Verknüpfungsbasis bilden, d.h., daß sich alle booleschen Funktionen durch sie ausdrücken lassen.
Tatsächlich genügen auch schon {/\, no} bzw. {\/, no}, da nach de Morgan
- x \/ y = no ( no x/\ no y )
- x /\ y = no ( no x\/ no y )