Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
Аннотация к работе
Міністерство освіти і науки України Національний університет «Львівська політехніка» Кафедра Прикладної математики Курсова робота з курсу «Дискретна математика» на тему «Функціональна повнота системи функцій алгебри логіки. Пізніше її розвивали Чарлз Пірс, Генрі Шеффер, П. С. Порецький, Бертран Рассел, Давид Гільберт та ін. Відтоді ця система застосовується для вирішення широкого спектру проблем математичної логіки та теорії множин, та особливо конструювання цифрової електроніки (початок використання алгебри логіки для синтезу перемикальних (релейних) схем був покладений в 1938 році роботами відомого американського вченого Клода Шеннона). Сучасна алгебра логіки розглядає операції над висловлюваннями, як булеву функцію і вивчає відносно них такі питання, як: -таблиці істинності; -функціональна повнота; -замкнені класи; -представлення у вигляді: ДНФ, КНФ, полінома Жегалкіна. Спеціальні класи функцій алгебри логіки 2.1 Замкнені класи Визначення.