De Morgan's laws
主な恒真式として、同一律、排中律、矛盾律、二重否定の法則、巾等律、、結合律、、吸収律、ド・モルガンの法則、対偶律、選言的三段論法、前件肯定式、推移律、移入律、、縮小律、拡大律、などがある。