Minimizing the Presentation of Predicate Forms in Finite Models

Kalyadin N.I.

Abstract


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

Keywords


minimization; rank; predicate form; implicant; minimum coverage

References References

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

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

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

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

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


Article Metrics

Metrics Loading ...

Metrics powered by PLOS ALM


Copyright (c) 2012 Bulletin of Kalashnikov ISTU

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.


ISSN 1813-7903 (Print)
ISSN 2413-1172 (Online)