Том 14, серия 1, номер 3, 2007 г., Стр. 53-66
УДК 519.716
С. С. Марченков
Дискриминаторные позитивно замкнутые классы трёхзначной логики
Аннотация:
На множестве$Pk$ функций$k$ -значной логики рассматривается оператор позитивного замыкания. Доказывается, что при любом$k\geqslant 3$ ,$k\ne 4$ , множество$Hk$ всех однородных функций из$Pk$ образует атом в решётке позитивно замкнутых классов из$Pk$ . Находятся все 17 позитивно замкнутых классов в$P_3$ , которые целиком содержат класс$H_3$ (дискриминаторные позитивно замкнутые классы). Определяются позитивно порождающие системы этих классов.
Библ. 17.
Марченков С. С. 1
1. Московский гос. ун-т им. М. В. Ломоносова,
Воробьёвы горы, 2-й учебный корпус, 119992 Москва, Россия
е-mail: mathcyb@cs.msu.su
Статья поступила 2 марта 2007 г.
