aksjomaty algebry boola

1)	X V X = X,	x • X = X
2)	xvy-yvx. xy = yx
3)	xv(yV2) = (xvy)vr
	x (y *)*	(xy)r
4)	xv(y*z) =	■ (xvy)(xvz)
	x • (y v z) =	- (xy)v(xz)
5)	xv(x y) =	x. x - (x V y) =
6)	xv0 - x.	x • I = X
7)	XV 1 = 1,	x-0-0
8)	X vx = 1.	II o
9)	S-x
10)	xv y = x-	y, x • y = x vy

{idempotentność) {pr zamienność)

(łączność)

{rozdzielność)

{pochłanianie) (własności stałych) {dalsze własności stałych) {własności negacji) {podwójna negacja) {prawa de Morgana)