:

3
BOOLE

( ) .
: /, /,
/.
/, , , .
.
.
,
.
.
..

4

TRUE
FALSE

6 3 6 2.

, , . .
BOOLE
1854 George Boole
.
, Boole
( 1 ), ( 0 ), :
()/(), ()/(), YES(Y)/NO(N),
TRUE(T)/FALSE(F).
BOOLE

H ( OR ), (+ )

( AND ), ( )

( NOT ),
( ) .
Boole, (
)


.
:
a. () OR
OR
( TRUE ) , 1 2 .

X OR Y

= 1 = 0
b. ( ) AND
AND
( TRUE ) , 2 .

X OR Y

= 1 = 0
c. NOT
.
X

NOT X ( X )

:


0 : 1 : ( )

 3 ( 2)
Boole :
: x + y = y + x
x y = y x
;

x (y+z)=(xy)+(xz)

: x + ( y + z ) = ( x+ y ) +z
x (y z) =(x y) z
De Morgan :

( x + y ) = x y
( x y ) = x + y

:
). :

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

(y+z)
0
1
1
1
0
1
1
1

xy
0
0
0
0
0
0
1
1

xz
0
0
0
0
0
1
0
1

x(y+z)
0
0
0
0
0
1
1
1

xy+xz
0
0
0
0
0
1
1
1

) . :

x
0
0
0
0
1
1
1
1
x
0
0
0

y
0
0
1
1
0
0
1
1
y
0
0
1

z
0
1
0
1
0
1
0
1
z
0
1
0

(y+z)

(x+y)

xz

X+(y+z)

(x+y)+z

(y z)

(x y)

xz

x (y z)

(x y) z

0
1
1
1
1

1
0
0
1
1

1
0
1
0
1

) . De Morgan:

0
0
1
1

0
1
0
1

0
0
1
1

0
1
0
1

(x+y)

(x+y)

xy

(xy)

(xy)

x+y

:
:
F1 = xy + xy
F2 = xyz + xz