Фоминых Е.А. Лекции по дискретной математике: функциональные системы с операциями

Функциональные системы с операциями.
Алгебра логики.
Функции алгебры логики.
Равенство функций и эквивалентность формул.
СДНФ.
Операция замыкания.
Полнота.
Важнейшие замкнутые классы.
Критерий полноты.
к-значная логика.
Функции к-значной логики. Аналог СДНФ.
Операция замыкания и полнота.
Алгоритм распознавания полноты.
Теорема Кузнецова о полноте.
Критерий Слупецкого.
Особенности к-значных логик.