論理式P，Qがいずれも真であるとき，論理式Rの真偽にかかわらず真になる式はどれか。ここで，"￣"は否定を，"∨"は論理和を，"∧"は論理積を，"→"は含意（"真→偽"となるときに限り偽となる演算）を表す。