F = ((¬A) | B) ↓ (¬(B ⊕ C)) F = ((¬A) | B) ↓ ((¬B) & C) (по закону де Моргана для исключающего ИЛИ)F = ((¬A) | B) ↓ (¬B) & (¬C) (по закону де Моргана для конъюнкции)F = (B | (¬A)) ↓ (¬B) & (¬C) (по коммутативности конъюнкции)F = (B | ¬A) ↓ ¬B & ¬C (по ассоциативности)F = B | ¬A, ¬B & ¬C (по закону поглощения для дизъюнкции)F = B | ¬A (по коммутативности конъюнкции)F = ¬A | B (по закону поглощения для дизъюнкции)

Итак, F = ¬A | B