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