1) Постройте таблицу истинности выражений $$(A \leftrightarrow B) \rightarrow (\neg A \lor B)$$

Для начала вспомним, что такое эквивалентность ($$A \leftrightarrow B$$) и дизъюнкция ($$A \lor B$$), а также отрицание $$(\neg A)$$.

Эквивалентность истинна, когда оба высказывания либо истинны, либо ложны. Дизъюнкция истинна, когда хотя бы одно из высказываний истинно.

| A | B | $$\neg$$A | $$\neg$$A $$\lor$$ B | A $$\leftrightarrow$$ B | (A $$\leftrightarrow$$ B) $$\rightarrow$$ ($$\neg$$A $$\lor$$ B) |
|---|---|---|---|---|---|
| И | И | Л | И | И | И |
| И | Л | Л | Л | Л | И |
| Л | И | И | И | Л | И |
| Л | Л | И | И | И | И |

Ответ: Выражение $$(A \leftrightarrow B) \rightarrow (\neg A \lor B)$$ всегда истинно.