Решетка замкнутых классов самодвойственных функций трёхзначной логики
В книге описывается решетка замкнутых классов трехзначной логики, которые вкладываются в предполный класс самодвойственных функций. Это первый предполный класс, отличный от линейного, для которого удалось получить такое описание. С помощью этого описания доказываются различные свойства замкнутых классов самодвойственных функций. В частности, показано, что все замкнутые классы имеют базис (конечный...
Издательство:
Издательство МГУ
Дата выхода: декабрь 2011