Жегалкин полиномдары. Логика алгебрасының функциясының толықтығы туралы Пост теоремасы.