P, Q, R はいずれも命題である。命題Pの真理値は真であり、命題 (not P) or Q 及び命題(not Q) or R のいずれの真理値も真であることが分かっている。Q,Rの真理値はどれか。ここで、X or YはXとYの論理和, not XはXの否定を表す。