2.3. АКСИОМЫ АЛГЕБРЫ ЛОГИКИ

Используем:
               _
	X# или X  = NOT   (инверсия)
	X + Y	  = OR    (конъюнкция)
	X * Y     = AND   (дизъюнкция)
	X (+) Y   = XOR   (исключающее ИЛИ)



Приоритеты операций:

	-------------------
	max    #       NOT
        ^      *       AND
        |      (+)     XOR
	min    +       OR
	-------------------

Например:

	A + B * C    	     значит    A + (B * C)
	A + B (+) C * D      значит    A + (B (+) (C * D))
	C#DE		     значит    (С#) * D * E
	



определение набора элементов:

	x = 0, если x != 1
	x = 1, если x != 0



определение операции дизъюнкции (OR):
	0 + 0 = 0	
	1 + 1 = 1
	0 + 1 = 1 + 0 = 1



определение операции конъюнкции (AND):
	0 * 0 = 0
	0 * 1 = 1 * 0 = 0
	1 * 1 = 1




определение операции инверсии (NOT):
	_
	0 = 1
	_
	1 = 0