Изменения

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

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

196 байт убрано, 19:53, 10 октября 2013
Вывод исходной функции для фиксированной части параметров
Другими словами, если строка, соответствующая аргументам функции <tex>x_1, x_2, ..., x_k</tex>, находится в <tex>i</tex>-й полосе, то функция возвращает значение, записанное в столбце сорта <tex>j</tex> для этой строки. Если же эта строка находится в другой полосе, то функция вернёт 0. Иллюстрация принципа работы функции <tex>g_{ij}</tex> приведена на рис. 2.
=== Вывод исходной функции для фиксированной части параметров ===
''Здесь и далее фиксированные параметры функции будут обозначаться <tex>\sigma_i</tex>, а переменные {{---}} <tex>x_i</tex>.''
 
Поскольку изначальный столбец <tex>(\sigma_{k + 1}, \sigma_{k + 2}, ..., \sigma_{n})</tex> складывается из столбцов соответствующих сортов в полосах,
<tex dpi="145">f(x_1, x_2, ..., x_k, \sigma_{k + 1}, \sigma_{k + 2}, ..., \sigma_{n}) = \bigvee\limits_{i = 1}^p g_{ij_i}(x_1, x_2, ..., x_k)</tex>,
75
правок

Навигация