144
правки
Изменения
Нет описания правки
*Функцию <tex>F</tex> можно задать в форме Крома, если выполнено следствие (верно и обратное):
<tex>F(x_1, ..., x_n)=F(y_1, ..., y_n)=F(z_1, ..., z_n)=1\Rightarrow F(<x_1, y_1, z_1>, <x_2, y_2, z_2>, ..., <x_n, y_n, z_n>) </tex>
*Функцию <tex>F</tex> можно задать в форме Хрома, если выполнено следствие (верно и обратное):
<tex> F(x_1, ..., x_n)=F(y_1, ..., y_n)=1 \Rightarrow F(x_1 \wedge y_1, x_2 \wedge y_2, ..., x_n \wedge y_n)</tex>
