P=O または Q=O ⇒PQ=O
と
PQ=O ⇒ P=O または Q=O
が別物なのは理解できてるか?