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