:
(.. ).
, (), .
.
. , , ( ). X Y. P Z : X + Y = PZ. .
1. , , :
2. P(X,Y) Z(X,Y) :
P(X,Y)=X & Y; Z(X,Y)=(X&Y)V (X& Y).
, .
(X&Y)V(X& Y) <=> ((X&Y)VX)& ((X&Y)V Y) <=> (XV(X&Y))&(YV (Y& X)) <=>((XV X)&(XVY))& ((YVY)&(Y V X)) <=> (1&(XVY))&((& (X&Y)) <=> (XVY)& (X&Y).
3. :
.
- , . - . . . , . , .
:
- , . , (0 1). , . .
trigger - , . flip-flop, "". ("") . (-, -) (RS, JK, T, D ). - RS - (S R set - , reset - ). RS -:
|
|
S R, , - . Q , Q . , Q=1. S R . , - . - .
- . , , . ( ). R S , .
1. S=1, R=0. 0. , R=0. 1. . (S) : S, . Q=1, , , .
2. S=0 R=1 , Q 0. R .
3. (R=0 S=0) Q , S R.
4. R S , (R=1 S=1) . . 8 . . . , : , - .
, . . . - , . , , . , . , - .
|
|
, , . - , .. - , , , , . , : 0 1, . , . , :
1) - ;
2) - , . - ( . tumble - ). . . ;
3) - (), ; ;
4) - , . , - .
, (0 1), . () - (0 1), , , .
(). ( ) , . , . , , ( ), , , .
. (), ( ) , . ( ), . , , . .
. AND, , , . , , , ( ) , .
1. : , ( ), , , . .
2. . . A and not A; A or not A
3. : ,
4. ( ).
5. () . .