Учебная работа № 4258. «Контрольная Математическая логика. 8 заданий

Учебная работа № 4258. «Контрольная Математическая логика. 8 заданий

Количество страниц учебной работы: 10
Содержание:
Содержание
Задание 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
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:
Если неверно, что всякое натуральное число четно, или всякое нату-ральное число нечетно, то имеются и четные числа и нечетные.

Стоимость данной учебной работы: 585 руб.Учебная работа № 4258.  "Контрольная Математическая логика. 8 заданий

    Укажите Ваш e-mail (обязательно)! ПРОВЕРЯЙТЕ пожалуйста правильность написания своего адреса!

    Укажите № работы и вариант

    Соглашение * (обязательно) Федеральный закон ФЗ-152 от 07.02.2017 N 13-ФЗ
    Я ознакомился с Пользовательским соглашением и даю согласие на обработку своих персональных данных.

    Выдержка из похожей работы

    1-Darii,1-Ferio,2-Cesare,2-Camestres,2-Festino,2-Baroko,3-Darapti,3-Disamis,3-Disamis,3-Felapton,4-Bocardo,4-Ferison,4-Bramantip,4-Camenes,4-Dimaris,4-Fesapo,4-Fresison,1-Darii,1-Ferio,2-Cesare,2-Camestres