301 читали · 2 года назад
Теорема Поста
В лекции приводятся определения основных классов булевых функций, а также формулируется теорема Поста о полноте. Класс самодвойственных функций. Пример 1. Используя принцип двойственности, запишем булеву функцию, двойственную заданной булевой функции, расставим в полученной булевой функции скобки, указывающие порядок выполнения действий. Пример 2. Несамодвойственная функция F = (01011001) задана вектором значений. Используя лемму о несамодвойственной функции, под­становкой вместо переменных x, y, z только переменную x и её отрицание получим одну из констант (0 либо 1)...
100 читали · 1 год назад
Материалы по дисциплине "Дискретная математика", часть 1
В этом материале представлены ссылки на лекции и варианты практических занятий для изучения дисциплины "Дискретная математика". Вторая часть материалов по дисциплине "Дискретная математика" расположена по ссылке: 1.1. Тема «Основные логические операции. Формулы логики. Дизъюнктивная и конъюнктивная нормальные формы». Обучающийся должен · знать: понятие пропозиционального высказывания, примеры пропозициональных высказываний; понятия унарной и бинарной логических связок, перечень базовых логических...