МИНИМИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПРЕДИКАТНЫХ ФОРМ В КОНЕЧНЫХ МОДЕЛЯХ

N I Kalyadin

Authors

N. I. Kalyadin Kalashnikov Izhevsk State Technical University

Keywords:

minimization, rank, predicate form, implicant, minimum coverage

Abstract

Methods for minimizing predicate forms in the finite models for the classical basis (negation, conjunction, disjunction) are proposed.

Author Biography

N. I. Kalyadin, Kalashnikov Izhevsk State Technical University

; Kalashnikov Izhevsk State Technical University

References

Поспелов Д. А. Логические методы анализа и синтеза схем. - М. : Энергия, 1968. - 228 с.

Эдельман С. Л. Математическая логика. - М. : Высш. шк., 1975. - 176 с.

Ершов Ю. Л. Проблемы разрешимости и конструктивные модели. - М. : Наука, 1980. - 460 с.

Белоусов В. А., Калядин Н. И. Конечные модели и их применение к построению классификатора отношений последовательно-параллельного действия // Дискретные системы обработки информации : межвуз. сб. - Ижевск : Изд-во ИМИ, 1983. - Вып. 5. - С. 83-88.

Калядин Н. И. Конструктивизация моделей классификации конечных объектов // Известия института математики и информатики УдГУ. - Ижевск : Изд-во УдГУ, 2007. - Вып. 1(38). - С. 3-231.