Контрольная Математическая логика. Задачи 1, 4, 5, 8, номер: 127690

"Задача № 1 3
Записать следующие высказывания в виду формул логики высказываний, используя пропозициональные (логические) переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены из каких-либо других высказываний: «Неверно, что ни Петров, ни Сидоров не выдержали экзамен».
Задача №4 3
Упростить полученную в задании 3 формулу, используя законы алгебры логики:
Задача №5 5
Доказать с помощью тождественных преобразований равносильность упрощенной формулы (задание 4) и исходной (задание 2)
Задача №8 5
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме: «Если либо всякий любитель выпивки общителен, либо некий ростовщик честен и не пьет вина, то неверно, что всякий ростовщик общителен»
Литература 7"