Решить задачки

[Гость]

Доказать выводимость формул в исчислении высказываний:
a. A ∨ A → A
b. A ⊢ A̅→ B
c. A̅→ B̅ ⊢ B → A
d. A → B ⊢ (A&C) → (B&A)
e. A → B̅ ⊢ B → A̅

и Доказать эквивалентность формул:

a. A&(A ∨ B) ⟷ A
b. A ∨ (A&B) ⟷ A
c. A ∨ B ⟷ B ∨ A

[Andy]

Дя доказательства эквивалентности формул, по-моему, вполне можно воспользоваться таблицами истинности.