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