Основные формы функций k – значных логик
= j
(x) j(y) + j
(x)
j (y) + 2·j(x) j
(y) + 2·j(x)
j(y) + j(x) j(y).
Последнее выражение и является второй формой для данной функции.
Третьей основной формой функции n переменных, являющейся аналогом СКНФ для функции двузначной логики, называется следующее выражение:
f ( x, …, x
) = min { max [ f (s, …, s), ~ J
(x), ~ J
(x), …, ~ J
(x) ] } (2.6)