次のうち恒真命題となる式はどれか。

論理式が恒真かどうかは真理値表を用いて判断できる．(p∨¬p)は常に真，(q∨¬q)も常に真であるため，それらの論理積である選択肢3は4行すべてで真になり恒真命題となる．選択肢1はpとqの真偽が一致する場合だけ真であり，恒真ではない．選択肢2はpとqが異なると偽になる行が存在する．選択肢4はpと¬pの論理積なので常に偽となり矛盾命題となる．以上により恒真なのは3だけである。