Задачи по дискретной матем.
Задание 1
Построить таблицу истинности для формулы логики двух переменных.
Построить таблицу истинности для формулы логики трёх переменных.
Применяя таблицу истинности, проверить тождественную истинность формулы
Задание 2
С помощью равносильных преобразований упростить формулу.
Применяя равносильные преобразования, проверить тождественную истинность формулы.
Применяя равносильные преобразования, выяснить - являются ли следующие соотношения равносильными?
Задание 3
Привести формулу к дизъюнктивной нормальной форме(ДНФ) и к конъюнктивной нормальной форме (КНФ).
Привести формулу к совершенной КНФ (СКНФ) и к совершенной ДНФ (СДНФ).
Задание 4
Классифицировать формулы:
Задание 5
Построить таблицу и схему, реализующую следующую функцию:
Задание 6
Определить, какие из следующих предложений являются предикатами?
Какие из предикатов являются тождественно истинными, тождественно ложными и выполнимыми?
Найти множества истинности и ложности найденных предикатов.
Задание 7
Навесить кванторы
на одноместный предикат P(x) и построить отрицание к предикату.
Навесить кванторы
на двуместный предикат P(x, y) и построить отрицание к предикату.
Задание 8
Привести многочлен Жегалкина к каноническому виду (полная запись).
Представить булевую функцию в виде многочлена Жегалкина(полная запись канонического вида).