Boolean Algebra

X = (( A &and; B ) &or; C) &and; (( A &or; B ) &or; D )) = (A &and; B) &or; (C &and; D)

---

X = ( C &or; D &or; F ) &and; (C &or; D &or; G ) = (C &or; D) &or; (F &and; G)

---

U = ( A &or; B) &and; ( A &and; C ) = ?

---

Q = (B &and; C) &or; (B &and; ¬C) = B &and; (C &or; ¬C) = B &and; 0 = 0

---

Y = ( G &or; ¬F) &and; (G &or; F)  = G &or; (F &and ¬F) = G &or; 0 = G

Are those right? Please check.