(((A∧B) → C) ∨¬A) ⟷ (A∧C)

Подставим значения.

(((1 ∧ 0) → 1) ∨ ¬ 1) ⟷ (1 ∧ 1)

((0 → 1) ∨ 0) ⟷ 1

(1 ∨ 0) ⟷ 1

1 ⟷ 1

* логические операторы:
∨ - or
∧ - and
¬ - not
→ - if, то
⟷ - что-то эквивалетно чему-то