Учебная работа № 4258. «Контрольная Математическая логика. 8 заданий
Учебная работа № 4258. «Контрольная Математическая логика. 8 заданий
Содержание:
Содержание
Задание 1 3
Задание 2 4
Задание 3 5
Задание 4 6
Задание 5 7
Задание 6 8
Задание 7 9
Задание 8 11
Список литературы 12
Задание 1
Записать высказывание в виде формул логики высказываний, исполь-зуя логические переменные для обозначения элементарных высказываний.
Задание 2
Построить таблицу истинности для формулы:
Задание 3
По полученной таблице привести формулу к нормальной дизъюнктивной форме.
Задание 4
Упростить формулу, используя законы алгебры логики:
Задание 5
Доказать с помощью тождественных преобразований равносильность упрощенной формулы и исходной .
Задание 6
Построить релейно-контактную схему, соответствующую упрощенной формуле .
Задание 7
Составить функциональные схемы на базе электронных логических элементов, реализующие логические функции: ,
Задание 8
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:
Если неверно, что всякое натуральное число четно, или всякое нату-ральное число нечетно, то имеются и четные числа и нечетные.
