Doing Random Thingys! (A total redesign of this site is currently underway)

Q = (A ⊻ D) ⊻ ((¬ (B ⊻ C)) ⊼ ((¬ (B ⊻ C)) ∧ (A ⊻ D)))