А и не В или А

Задача: А и не В или А

1. Принципиальная запись

• По порядку операций: ∧ выполняется раньше ∨.
• Изначально: (A ∧ ¬B) ∨ A.
• Это можно переписать как A ∨ (A ∧ ¬B) (перестановка с помощью коммутативности).

2. Применение закона поглощения

• Закон: p ∨ (p ∧ q) = p.
• Здесь p = A, q = ¬B.
• Следовательно: A ∨ (A ∧ ¬B) = A.

3. Альтернативное подтверждение через распределение

• (A ∧ ¬B) ∨ A = (A ∨ A) ∧ (¬B ∨ A) = A ∧ (A ∨ ¬B) = A (последнее следует из закона поглощения: A ∧ (A ∨ X) = A).

4. Табличное подтверждение (кратко)

• Если A = Истина, выражение истинно независимо от B.
• Если A = Ложь, выражение ложь независимо от B.
• То есть выражение эквивалентно A.

Ответ: A