A önermesinin çözümleyici çizelgesinde açık kalan dal varsa totolojidir.

Doğruluk tablosuna bakıldığında en az bir geçerli durum varsa önerme totolojidir.

 ̴ A önermesinin çözümleyici çizelgesinde bütün dallar kapanmışsa A totolojidir.

 ̴ A önermesinde en az bir kapalı dal varsa totolojidir.

A önermesinin çözümleyici çizelgesinde açık dal yoksa A totolojidir.