Простейшие логические операции в информатике

, , . . . , .

, :

• ;
• ;
• ;
• ;
• .

, "0", "1".

, , : ¬, v, &, ->.

1/0, . , .

- . , - , - . , - , - .

"¬A".

- , .

¬A

, - (1), (0). - (0), - (1).

. -

, - . , ( ), "", "v". .

1. =1, =1 , v = 1. , .
2. =0, =1 , v = 1. =1, =0 , v = 1. , .
3. =0, =0 , v = 0. , - .

.

v

, (). , . "&", "".

1. =1, =1 , & = 1. , - .
2. - , .

• =1, =0, & = 0.
• =0, =1, & = 0.
• =0, =0, & = 0.

			0	0
		0		0
&		0	0	0

() - . - .

1. =1, =, -> = 1. , - .
2. =0, =1, -> = 1. , - .
3. =0, =0, -> = 1. , - .
4. =1, =0, -> = 0. , - .

.

				0
->

. "... , ...". , .

1. =1, =1, ≡ = 1. , . ()
2. =0, =0, ≡ = 1. , . ()
3. =1, =0, ≡ = 0. , . ()
4. =0, =1 , ≡ = 0. , . ()

			0
≡

, , . , . . . , . , , . .

v & ¬ -> ≡

.

1. ¬
2. &(¬)
3. v(&(¬))
4. ( v(&(¬)))->
5. (( v(&(¬)))->)≡

, . , , .

		¬	&(¬)	v(&(¬))	( v(&(¬)))->	(( v(&(¬)))->)≡

, . .

, , , - . , .