>>56
P≠OかつQ≠O⇒PQ≠O
は成り立つと思う?