Спеціальні класи та функціональна повнота системи функцій алгебри логіки. Теорема Поста

Функціональна повнота системи функцій алгебри логіки відіграє важливу роль в математичній логіці.Розділ 1. Функціональна повнота системи функцій алгебри логіки.Розділ 2. Спеціальні класи функцій алгебри логіки.Система функцій алгебри логіки А називається повною, якщо .Задано систему функцій алгебри логіки.Визначити чи є ця система функціонально повна, визначити вид повноти.Вводжу систему функцій алгебри логіки.Функція алгебри логіки називається самодвоїстою, якщо Тобто .Система функцій {} є функціонально повною, але система функцій {} не є функціонально повна.Деколи кажуть про систему функцій повну в деякому класі, а також про базис цього класу.