恒真式 は 、、 どのような 値 を 代入 して も 常に 真 と なる 論理式 の こと を 指し ます 。