Закон исключенного третьего - это ... Выберите ответ

Решение:

Закон исключённого третьего — один из основных законов классической логики, который гласит, что любое высказывание является либо истинным, либо ложным, третьего варианта не дано. В формальной записи это выражается как \( a \lor \neg a \equiv 1 \), где \( \lor \) — дизъюнкция (логическое ИЛИ), а \( \neg a \) — отрицание \( a \).

Рассмотрим предложенные варианты:

• \( a \land \neg a = 0 \) — это закон противоречия, который гласит, что высказывание не может быть одновременно истинным и ложным.
• \( \overline{a \land b} = \bar{a} \lor \bar{b} \) — это закон де Моргана.
• \( a \land b = b \land a \) — это коммутативный закон умножения.
• \( a \lor \bar{a} = 1 \) — это закон исключённого третьего.

Ответ: a \(\lor\) \(\bar{a}\) = 1