Нам нужно построить таблицу истинности для логического выражения (A V B) & (¬A V B). Сначала разберемся с каждым компонентом выражения:
| A | B | A V B | ¬A | ¬A V B | (A V B) & (¬A V B) |
|---|---|---|---|---|---|
| И | И | И | Л | И | И |
| И | Л | И | Л | Л | Л |
| Л | И | И | И | И | И |
| Л | Л | Л | И | И | Л |
Вывод: Логическое выражение (A V B) & (¬A V B) истинно только в одном случае: когда A ложно, а B истинно.