恒真論理式
【こうしんろんりしき】
【koushinronrishiki】
重言式