Мінімізація КНФ частково-монотонних булевих функцій

Автор(и)

  • О.П. Пинько Інститут кібернетики ім. В.М. Глушкова НАН України, Київ

DOI:

https://doi.org/10.15407/dopovidi2017.03.018

Ключові слова:

булева функція, диз’юнкт, диз’юнктивна нормальна форма, кон’юнкт, кон’юнктивна нормальна форма, літерал

Анотація

Булева функція зватиметься частково-монотонною, якщо вона монотонна відносно деяких з її аргументів та антимонотонна відносно решти її аргументів. Ми доводимо, що кон’юнктивні нормальні форми частково-монотонних булевих функцій можна мінімізувати дуже ефективно з використанням лише частково-монотонних диз’юнктів.

Завантаження

Дані завантаження ще не доступні.

Посилання

Yablonskiy, S. V. (1986). Introduction to discrete mathematics. Moscow: Nauka (in Russian).

Quine, W.V. (1959). On cores and prime implicants of truth functions, American Math. Monthly, 66, No. 9, pp. 755-760. https://doi.org/10.2307/2310460

Pynko, A.P. Minimal sequent calculi for monotonic chain finitely-valued logics. Bulletin of the Section of Logic, 2014, 43, No. 1/2, pp. 99-112.

Kapitonova, J.V., Kryvyj, S.L., Letichevskij, O.A., Luckij, G.M., & Pechurin, M.K. (2000). Foundations of discrete mathematics (in 2 volumes), Kiev: LitSoft (vol. 1: Mathematical foundations) (In Ukrainian).

##submission.downloads##

Опубліковано

28.03.2017

Як цитувати

Пинько, О. (2017). Мінімізація КНФ частково-монотонних булевих функцій . Reports of the National Academy of Sciences of Ukraine, (3), 18–21. https://doi.org/10.15407/dopovidi2017.03.018

Номер

№ 3 (2017): Доповіді Національної академії наук України

Розділ

Інформатика та кібернетика

Ліцензія

Авторське право (c) 2024 Доповіді Національної академії наук України

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.