Статья в сборнике "Математические вопросы кибернетики" №18, Москва, 2013
Авторы:Матвеев С.А.
Построение всех E-замкнутых классов частичных булевых функций
Аннотация:
В статье рассматриваются классы частичных булевых функций, замкнутые относительно E-замыкания (замыкания с разветвлением по предикату равенства). Излагается метод компьютеризированного перебора, позволивший описать все 100 E-замкнутых классов частичных булевых функций. Для каждого класса указывается его E-порождающая система. Строится диаграмма включений E-замкнутых классов частичных булевых функций.
