>>992
では、恒真な論理式の定義を簡単に述べていただけますか？
素人は知らないと思いますので。