Для решения данной задачи необходимо заполнить таблицу истинности для логического выражения ¬A & (B | C).
Логическое выражение ¬A & (B | C) истинно только тогда, когда ¬A истинно И (B | C) истинно. (B | C) истинно, когда хотя бы одно из B или C истинно.
Рассмотрим каждую строку таблицы:
- A=0, B=0, C=0: ¬A=1, (B | C)=0, ¬A & (B | C)=0
- A=0, B=0, C=1: ¬A=1, (B | C)=1, ¬A & (B | C)=1
- A=0, B=1, C=0: ¬A=1, (B | C)=1, ¬A & (B | C)=1
- A=0, B=1, C=1: ¬A=1, (B | C)=1, ¬A & (B | C)=1
- A=1, B=0, C=0: ¬A=0, (B | C)=0, ¬A & (B | C)=0
- A=1, B=0, C=1: ¬A=0, (B | C)=1, ¬A & (B | C)=0
- A=1, B=1, C=0: ¬A=0, (B | C)=1, ¬A & (B | C)=0
- A=1, B=1, C=1: ¬A=0, (B | C)=1, ¬A & (B | C)=0
Заполненная таблица истинности:
A | B | C | ¬A & (B | C)
---|---|---|-------------
0 | 0 | 0 | 0
0 | 0 | 1 | 1
0 | 1 | 0 | 1
0 | 1 | 1 | 1
1 | 0 | 0 | 0
1 | 0 | 1 | 0
1 | 1 | 0 | 0
1 | 1 | 1 | 0