[ (p and r) or (q and s) ] => [ (p or q) and (r or s) ]