Основные формы функций k – значных логик
Любую функцию f (x
, …, x
) из P
можно представить в так называемой первой основной
форме, являющейся аналогом СДНФ для функций двузначной логики
f ( x, …, x ) = max { min [ f (s, …, s), J
(x), J
(x
), …, J
(x) ] }, (2.4)
s
где максимум берется по всем наборам s = (s, …, s) значений переменных
x, …, x.