Давайте построим таблицу истинности для логического выражения ($$\lnot A \land B \lor \lnot C) \lor (C \land \lnot B)$$
Сначала вспомним основные логические операции:
* $$ \lnot $$ (НЕ) - инверсия. Если A = 0, то $$\lnot A = 1$$, и наоборот.
* $$ \land $$ (И) - конъюнкция. Результат равен 1, только если оба операнда равны 1.
* $$ \lor $$ (ИЛИ) - дизъюнкция. Результат равен 1, если хотя бы один из операндов равен 1.
Теперь построим таблицу по шагам:
| A | B | C | $$\lnot A$$ | $$\lnot C$$ | $$\lnot A \land B$$ | $$\lnot A \land B \lor \lnot C$$ | $$\lnot B$$ | $$C \land \lnot B$$ | ($$\lnot A \land B \lor \lnot C) \lor (C \land \lnot B$$ |
|---|---|---|-------------|-------------|-----------------------|--------------------------------|-------------|--------------------|------------------------------------------------|
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Итак, заполненная таблица истинности выражения ($$\lnot A \land B \lor \lnot C) \lor (C \land \lnot B$$):
| A | B | C | Result |
|---|---|---|--------|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 |
Заполним таблицу в соответствии с полученными результатами:
A |
B |
C |
($$\lnot A \land B \lor \lnot C) \lor (C \land \lnot B$$) |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |