4) Определите, являются ли формулы равносильными: ((A ∧ B) ⊕ C) → B и (A ↔ C) ∨ B.

Упростим первую формулу. Если B = 1, импликация истинна. Если B = 0, то A ∧ B = 0, поэтому левая часть импликации равна C. Следовательно, первая формула равносильна B ∨ ¬C.

Вторая формула равносильна B ∨ (A ↔ C). Проверим набор A = 1, B = 0, C = 1:

Первая формула: ((1 ∧ 0) ⊕ 1) → 0 = (0 ⊕ 1) → 0 = 1 → 0 = 0.

Вторая формула: (1 ↔ 1) ∨ 0 = 1 ∨ 0 = 1.

Ответ: формулы не равносильны.