Search academic texts

Information × Registration Number 0401U003227, Candidate dissertation Status к.ф.-м.н. Date 23-11-2001 popup.evolution o Title Generalized conjunctive transformations and their usage in th theory of twomeaning logics functions. Author Mych Igor Andrijovych, popup.head Трофимлюк Олег Тимофійович popup.opponent Гупал Анатолій Михайлович popup.opponent Аксьонова Людмила Олександрівна Description Дисертація присвячена розробці і обгрунтуванню методів та алгоритмів розв'язування задач теорії функцій двозначної логіки на основі властивостей узагальнених кон'юнктивних перетворень. ВВедено у розгляд узагальнені кон'юнктивні перетворення, досліджено їх властивості. Розроблено алгоритми побудови узагальнених канонічних поліномів. Запропоновано алгоритми розпізнавання та мінімізації однорідних бульових функцій. Розроблено алгоритм побудови множини простих імплікант бульової функції. Registration Date 2001-11-23 popup.nrat_date 2020-04-04 Close