Задания для контрольной работы (из каждого задания выбрать пункт, определяемый последней цифрой порядкового номера в списке группы)

1.Определите логическое значение последнего высказывания, исходя из логических значений всех предыдущих высказываний:

2.Докажите, что справедливы следующие логические следование, руководствуясь определением этого понятия; выясните, будут ли верны обратные следования, т.е. будет ли формула,стоящая слева, логическим следствием формулы справа:

3.Существует ли три таких высказывания A, B, C, чтобы одновременно выполнялись для них условия:

4.Для каких из следующих высказываний их логическое значение не зависит от логического значения высказывания A:

5.Составьте таблицу истинности для следующих формул и укажите, какие из формул являются выполнимыми, какие – опровержимыми, какие – тождественно истинными (тавтологиями), какие – тождественно ложными (противоречиями):

6.Для каждой исследующих формул алгебра высказываний найдите СДН- формул с помощью её таблицы истинности:

7.Для каждой из следующих формул алгебры высказываний с помощью её таблицы истинности найдите СКН- форму:

Основная литература