(p or (s and q )) or (not q and s)