부울 대수

x + 0 = x
x · 0 = 0
x + 1 = 1
x · 1 = x
x + x = x
x ·x = x
x + x' = 1
x ·x' = 0
x+y=y+z
xy=yx
x+(y+z) = (x+y)+z
x(yz)=(xy)z
x(y+z) = xy+xz
x+yz =(x+y)(x+z)
(x+y)' = x'y'
(xy)'=x'+y'
(x')'=x

부울대수,, 태산이네.;