Изменения

Перейти к: навигация, поиск

Метод Лупанова синтеза схем

1 байт убрано, 15:12, 26 сентября 2013
м
Вывод функции для фиксированной части параметров: убрал перевод строки
=== Вывод функции для фиксированной части параметров ===
Поскольку изначальный столбец <math>(\sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n})</math> складывается из столбцов соответствующих сортов в полосах,
 
<math>f(x_1, x_2, ..., x_k, \sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n}) = g_{1j_1} \vee g_{2j_2} \vee ... \vee g_{pj_p}</math>,
где <math>j_l</math> - номер сорта столбца полосы <math>l</math>, соответствующего столбцу <math>(\sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n})</math>.
75
правок

Навигация