Udowodnić równości: 1. ab+āc+bc=ab+āc 2. (o+c)(a+ō+c)(ā+ō+c)=c te litery z kreseczkami to negacje
eziu
Przyjmijmy, że x' to negacja x dla dowolnego x zachodzi oraz Ponadto z własności idenpotencji kraty mamy kolejne dwie własności i no i oczywiście , i 1.
dla dowolnego x zachodzi oraz
Ponadto z własności idenpotencji kraty mamy kolejne dwie własności i no i oczywiście , i
1.
2.