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