generated at
トートロジー
2. 命題論理で、要素となる命題真偽がいかなるものであっても、常に真となるような論理式恒真式