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. 2.
dla dowolnego x zachodzi
Ponadto z własności idenpotencji kraty mamy kolejne dwie własności
1.
2.