(p or not q) <-> not r