
A
(a, b) → a + b, (a, b) → a · b,
a → ¯a 0, 1.
x + y = y + x, x · y = y · x
x +(y + z)=(x + y)+z, x · (y · z)=(x · y) · z
x · (x + y)=x, x +(x · y)=x
x +(y · z)=(x + y) · (x + z),x· (y + z)=x · y + x · z
x · 0=0,x+0=x, x · 1=x, x +1=1
x · ¯x =0,x+¯x =1
A
x + x = x, x ·x = x
y = x · x
x(x + x · x)=x,
x + x · x = x.
x · x = x.
x + x = x
x · y =¯x +¯y, x + y =¯x · ¯y
¯x = x
· ¯a
·
P (A) A P (A)
∨, ∧ 0
∅ 1 A (P (A), ∨, ∧,¯, 0, 1)
D(n) n.