Задания для самостоятельной работы. Для заданного логического выражения (высказывания):
Для заданного логического выражения (высказывания):
1) построить таблицу истинность;
2) упростить высказывание, используя равносильные преобразования;
3) полученный результат проверить, построив для него таблицу истинности.
Вариант
|
| Вариант
|
|
| (A «C) Ú A Ú B
|
| (A ® B) Ú A Ú BC
|
| (AB ® C) Ú A
|
| C Ú (AB «C)
|
| ( ® C) (B Ú AC)
|
| (A ~ B) Ú C Ú AB
|
| (A ® B) Ú A Ú AC
|
| (A ~ B) Ú A Ú AC
|
| (AC ® B) Ú B
|
| (AC ® B) Ú A
|
| ( ® B) ( Ú AC)
|
| ( «C) (A ® BC)
|
| (A ® C) Ú A Ú B
|
| (C ® A ) Ú Ú BC
|
| (BC ® ) ÚAB
|
| C Ú (AB «C) Ú B
|
| (AB ® C) Ú AB
|
| ( ~ B) (A ® CB)
|
| (B ® AC) Ú (AB ® C)
|
| ( B ® C) Ú B Ú C
|
| (A «B) Ú (A ® BC)
|
| ( C ® ) Ú BC
|
| (AB ® C) Ú A
|
| ( B ® C) (A ~ C)
|
| ( «BC) (A ® BC)
|
| (A ® B) ( B ® C)
|
| (A «C) Ú A C Ú B
|
| (A ® B) Ú A Ú BC
|
| ( ® AC) Ú A
|
| C Ú (AB «C)
|
| ( ® BC) ( Ú AB)
|
| (A ~ B) Ú C Ú AB
|
| (A ® BC) Ú C Ú AB
|
| (A ~ B) Ú A Ú AC
| Контрольные вопросы.
1. Какие основные логические операции вам известны?
2. Перечислите основные равносильности алгебры логики.
Дата добавления: 2015-09-27 | Просмотры: 336 | Нарушение авторских прав
|