Практическая работа №2. Построение таблиц истинности логических выражений
Скачать 18.24 Kb.
|
|
Вид логической операции | Характеристика логической операции | Пример логической операции | ||||||||||||||||||||
1. Конъюнкция | Это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными. |
| ||||||||||||||||||||
2. Дизъюнкция | Это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражения ложны. |
| ||||||||||||||||||||
3. Инверсия | Это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот. |
| ||||||||||||||||||||
4.Эквивалентность | Это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. |
| ||||||||||||||||||||
5. Импликация | Это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. |
|
Задание 2. Составить таблицу истинности для формулы A⸣ \/ B⸣:
А | В | | | \/ |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 0 |
Задание 3. Заполнить таблицу и выполнить логические операции:
А | В | С | А \/ В | (А \/ В) \/ С |
1 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 1 | 1 |
1 | 0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 1 |
0 | 0 | 1 | 0 | 1 |
0 | 0 | 0 | 0 | 0 |
Задание 4. Заполнить таблицу и выполнить логические операции:
А | В | С | В \/ С | А /\ ( В \/ С) |
0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 1 | 0 |
1 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 1 | 1 |