論理式 P，Q がいずれも真であるとき，論理式 R の真偽にかかわらず真になる式はどれか。ここで，“¯”（上線）は否定を，“∨” は論理和を，“∧” は論理積を，“→” は含意（“真 → 偽”となるときに限り偽となる演算）を表す。
出典令和7年度 春期 応用情報技術者試験 午前 問1
ア
((P→Q)∧(Q→P))→(R→Qˉ)
イ
((P→Q)∧(Q→Pˉ))→(Q→R)
ウ
((P→Qˉ)∨(Q→P))→(R→Qˉ)
エ
((P→Qˉ)∨(Q→Pˉ))→(Q→R)
論理式 P，Q がいずれも真であるとき，論理式 R の真偽にかかわらず真になる式はどれか。ここで，“¯”（上線）は否定を，“∨” は論理和を，“∧” は論理積を，“→” は含意（“真 → 偽”となるときに限り偽となる演算）を表す。