Составные логические высказывания и таблицы истинности.
Таблицу, показывающую, какие значения принимает составное выражение при всех
сочетаниях (наборах) значений, входящих в него простых выражений, называют
таблицей истинности составного высказывания, записанного логическими выражениями.
Логические
операции имеют следующий приоритет: действия в скобках, инверсия, &,
к , о
, л .
| A | B | C | неB | неC | (B&неC) | (A&неB) | (A&неB)V(B&неC) |
| 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Задание. Построить таблицу истинности для функций
1.
f = A
к (B
неВ) &
A к
(B онеС)
2.
f = (А о
3. f =
A к
(B к
4. f =В &(B о неА & неС)
5.
f = A
& (B
& неВ
о
