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