aksjomaty algebry boola

1)	X V X = X.	XX = X
2)	xvy —yvx, xy = yx
3)	x v(y vz) = (xv>’)v:
	x * (y * -) =	(xy)r
4)	x v (y • z) =	(x Vy)(xvr)
	x • (y v z) -	(xy)V(xz)
5)	xv(x y) =	x. x(xvy) = x
6)	xvO = x.	x • 1 = X
7)	XV I = 1,	X'0 = 0
8)	xvx = 1.	XX = 0
9)	* = x

(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)