2.11. ЧЕТВЕРИЧНАЯ ЛОГИКА

Четверичная логика:

	----------------------
	0	нет
	j	не может быть
	i	может быть
	1	да
	----------------------



Диаграмма Венна для функций двух операндов.
Каждый операнд это 3 круга. Внутри внутреннего операнд равен 1, затем между
кругами он равен I и J соответсвенно, снаружи внешнего равен нулю.

Значения:
	0	сплошной белый
	j	сплошной желтый
	i	сплошной зеленый
	1	штрихованный черный


  


На диаграмме желтым цветом выделены зоны которые (как и в троичной логики 
имеют 2 видимые несмежные симметричные зоны на диаграмме.




Правила все те же:
  X AND Y = MIN(X,Y)
  X OR  Y = MAX(X,Y)

----------------------------
XY	X#	AND	OR
----------------------------
00	1       0	0
0j      1       0       j
0i      1       0       i
01      1       0       1
j0      i       0       j
jj      i       j       j
ji      i       j       i
j1      i       j       1
i0      j       0       i
ij      j       j       i
ii      j       i       i
i1      j       i       1
10      0       0       1
1j      0       j       1
1i      0       i       1
11      0       1       1
----------------------------

AND:
  


OR:
  





  
  Четверичная комплементарная логика 
 

	-----------------------
	0	нет
	j	не может быть
	i	может быть
	1	да
	-----------------------


Отличается от обычной четверичной логики свойствами комплиментарности:
	0+1=1	i+j=1
	0*1=0	i*j=0

(На самом деле эта та же четверичная логика, но в качестве функций 
 AND и OR выбраны специальные варианты комплемертарныго MAX и MIN.

----------------------------
XY	X#	CAND	COR
----------------------------
00	1       0	0
0j      1       0       j
0i      1       0       i
01      1       0       1
j0      i       0       j
jj      i       j       j
ji      i       0       1
j1      i       j       1
i0      j       0       1
ij      j       0       1
ii      j       i       i
i1      j       i       1
10      0       0       1
1j      0       j       1
1i      0       i       1
11      0       1       1
----------------------------

CAND:
  


COR:
  




  
  Базис 
 

Все тоже самое - функция Уэбба

	W(X,Y) =  X + 1, если X == Y
		  0    , если X != Y


	X Y  | F
	-----+---
	0 0  | j
	0 j  | 0
	0 i  | 0
	0 1  | 0
	j 0  | 0
	j j  | i
	j i  | 0
	j 1  | 0
	i 0  | 0
	i j  | 0
	i i  | 1
	i 1  | 0
	1 0  | 0
	1 j  | 0
	1 i  | 0
	1 1  | 0