Пошерстник М. С.

Об усовершенствовании метода выделения переменных при решении логических уравнений

Журнал: 
Страница: 
68

Для решения логических уравнений вида $F({{x}_{1}}, {{x}_{2}}, \ldots, {{x}_{{{k}_{0}}}})=1$ был предложен метод выделения переменных. Данная работа направлена на повышение эффективности указанного метода, что связано с уменьшением наибольшего объёма промежуточных форм, которые получаются в процессе выделении переменных.