**Построение таблиц истинности для логических выражений**
а) Выражение: A v B & (¬C v ¬B)
| A | B | C | A v B | ¬C | ¬B | ¬C v ¬B | A v B & (¬C v ¬B) |
|---|---|---|---|---|---|---|---|
| T | T | T | T | F | F | F | F |
| T | T | F | T | T | F | T | T |
| T | F | T | T | F | T | T | T |
| T | F | F | T | T | T | T | T |
| F | T | T | T | F | F | F | F |
| F | T | F | T | T | F | T | F |
| F | F | T | F | F | T | T | F |
| F | F | F | F | T | T | T | F |
б) Выражение: A & B v (B & A v B & A)
| A | B | A & B | B & A | B & A v B & A | A & B v (B & A v B & A) |
|---|---|---|---|---|---|
| T | T | T | T | T | T |
| T | F | F | F | F | F |
| F | T | F | F | F | F |
| F | F | F | F | F | F |
Таким образом, таблицы истинности для данных логических выражений позволяют определить значения выражений при различных комбинациях значений переменных.
