Совершенная ДНФ в k-значной логике у Яблонского

[mamalkov]

Кто ошибается, я или Яблонский? Помогите!
В книге "Введение в дискретную математику" в главе 2 "k-значные логики" параграф 1 "функции k-значной логики" утверждается, что в этой логике любая функция может быть представлена в совершенной дизъюнктивной нормальной форме. В частности, в 3-значной логике
$f(x_1,x_2)=I_1(x_1)I_1(x_2)f(1,1)\lor I_1(x_1)I_2(x_2)f(1,2)\lor I_2(x_1)I_1(x_2)f(2,1)\lor I_2(x_1)I_2(x_2)f(2,2)$
Пусть $f(x_1,x_2)=x_1\lor x_2$. Тогда $f(1.1)=1, f(1,2)=2, f(2,1)=2, f(2,2)=2, f(0,1)=1$. Тогда
$f(0,1)=I_1(0)I_1(1)1\lor I_1(0)I_2(1)\lor I_2(0)I_1(1)\lor I_2(0)I_2(1)$
Но $I_1(0)=I_2(0)=0$. Следовательно, $f(0,1)=0$ а не 1!
По определению, $I_1(0)=0, I_1(1)=2, I_1(2)=0, I_2(0)=0, I_2(1)=0, I_2(0)=2$
Где ошибка?

[AKM]

Вам осталось заключить каждую формулу в знаки доллара $ ... $
Используйте кнопку для редактирования своего сообщения. И Предпросмотр.

[mamalkov]

Я ошибся. Яблонский как всегда прав.
my mail:[e-mail]