Аннотация:
Рассматривается задача о полноте систем одноместных предикатов, заданных на конечных множествах. Получены критерии полноты произвольной системы одноместных предикатов относительно произвольных множеств булевых функций.
Ключевые слова:одноместные предикаты, замыкание систем предикатов относительно замкнутых классов булевых функций, полнота систем предикатов.
Полный текст:
PDF файл (321 kB)