B
· +
+ ·
+
x + 0 = x x " B
·
x · 1 = x x " B
x + x = 1
x · x = 0
x = x
· + x · (y + z) = x · y + x · z
· x + (y · z) = (x + y) · (x + z)
xy = x + y
x + y = x · y
0 · x = 0 1 + x = 1
x + x = x x · x = x
x(x + y) = x x + xy = x
B = {0, 1}
0, 1
x, y, z, . . .
x y z F = x + yz
 F (x, y, z) = xyz + xyz + xz
xy(z + z) + xz = xy(1) + xz = xy + xz
F (x, y, z) = xy + xz + yz
= xy + xz + yz(1)
= xy + xz + yz(x + x)
= xy + xz + (yz)x + (yz)x
= xy + xz + x(yz) + x(yz)
= xy + xz + (xy)z + (xz)y
= xy + (xy)z + xz + (xz)y
= xy(1 + z) + xz(1 + y)
= xy(1) + xz(1)
= xy + xz
F (x, y, z) = xy + xyz + yz
x y + xy + xz = x y + xy + yz
F (x, y, z) =
x + yz
24
{ }
 F =
((ab + c)d) + e = abd + cd + e
n n - 1