2.1. ЛОГИЧЕСКИЕ ФУНКЦИИ

  
  Логические Функции одной переменной 
 

F=F(x)

	X=0	X=1   |	F(X)   | Description
	--------------+--------+------------
	0	0     |	0      | тождественный 0
	0	1     | X      | повторение    X
	1	0     | X#     | отрицание     X  (инверсия)  NOT
	1	1     | 1      | тождественная 1



  
  Логические Функции двух переменных 
 

F=F(X1,X2)

левая часть таблицы:
	заголовок - входные наборы 
	данные    - значение функций для указанных входных наборов
-------------------------------------+---------------------------------------
X1 (A)	0	0	1	1    |
X2 (B)	0	1	0	1    |		Description
-------------------------------------+---------------------------------------
	0	0	0	0    |	0		тождественный 0
AND	0	0	0	1    |  X1 * X2		И
  	0	0	1	0    |  X1 <- X2	запрет по X2
	0	0	1	1    |  X1		повторение X1
	0	1	0	0    |  X2 <- X1	запрет по X1
	0	1	0	1    |  X2		повторение X2
XOR	0	1	1	0    |  X1 (+) X2	ИСКЛЮЧАЮЩЕЕ ИЛИ
OR	0	1	1	1    |  X1 + X2		ИЛИ
NOR	1	0	0	0    |  (X1 + X2)#	ИЛИ-НЕ (стрелка Пирса)
EQV	1	0	0	1    |  X1 ~ X2		равнозначность
	1	0	1	0    |  X2#		отрицание X2
	1 	0	1	1    |  X2 -> X1 	импликация от X2
	1	1	0	0    |  X1#		отрицание X1
	1	1	0	1    |  X1 -> X2	импликация от X1
NAND	1	1	1	0    |  X1 / X2		И-НЕ (штрих Шеффера)
	1	1	1	1    |  1		тождественная 1
-------------------------------------+---------------------------------------