X = (( A ∧ B ) ∨ C) ∧ (( A ∨ B ) ∨ D ))
= (A ∧ B) ∨ (C ∧ D)
---
X = ( C ∨ D ∨ F ) ∧ (C ∨ D ∨ G )
= (C ∨ D) ∨ (F ∧ G)
---
U = ( A ∨ B) ∧ ( A ∧ C )
= ?
---
Q = (B ∧ C) ∨ (B ∧ ¬C)
= B ∧ (C ∨ ¬C) = B ∧ 0 = 0
---
Y = ( G ∨ ¬F) ∧ (G ∨ F)
= G ∨ (F ∧ ¬F) = G ∨ 0 = G
Are those right? Please check.