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