Сегодня, 18.11, в 10:30-11:20 по мск отправлю работу, необходимо будет решить 3-6 заданий. К сожалению, примера работы нет. Есть темы, которые будут на контрольной Функции алгебры логики (логические функции). Число различных функций n переменных . Единичные и нулевые наборы, множество единичных и нулевых наборов логической функции. Существенные и несущественные (фиктивные) переменные логической функции. Удаление и введение фиктивных переменных. Логические функции одной и двух переменных. Способы задания логических функций. Формулы.Эквивалентные (равносильные) формулы. Булева алгебра логических функций. Законы булевой алгебры. Эквивалентные преобразования: поглощение, склеивание, обобщенное склеивание. Упрощение формул. Нормальные формы. Приведение к дизъюнктивной нормальной форме (конъюнктивной нормальной форме). Совершенные нормальные формы. Приведение с совершенной дизъюнктивной нормальной форме (совершенной конъюнктивной нормальной форме). Понятие двойственности функции. Принцип двойственности. Функционально полная системаы. Алгебра Жегалкина. Полином алгебры Жегалкина. Линейные функции. Понятие замкнутого класса. Монотонные функции. Критерий монотонности. Классы Поста. Теорема о функциональной полноте. Релейно-контактные схемы.