Diskreetse matemaatika elemendid
vasakus osas on valemi argumentide kõikvõimalikud väärtused,
paremas osas aga tehete tulemused.
Samaselt tõene valem:
o Lausearvutuse valemit F nimetatakse samaselt tõeseks, kui ta on igal
väärtusel tõene.
o tautoloogia, loogiliselt tõene valem N: A ∨ ¬A
Samaselt väär valem:
o Lausearvutuse valemit F nimetatakse samaselt vääraks, kui ta on igal
väärtusel väär.
o kontradiktsioon, loogiliselt väär valem N: A & ¬A
Kehtestav valem:
o Laussearvutuse valemit F nimetatakse kehtestatavaks, kui ta on
vähemalt ühel väärtusel
tõene.
Nende omaduste kontrollimine:
o Valemi omaduste tuvastamisel tuleb tüüpiliselt otsustada, kas leidub
väärtustus, millel valem on tõene, või väärtustus, millel valem on väär.
Alati saab seda küsimust lahendada tõeväärtustabeliga, kuid mõnikord
võib kiiremini sihile jõuda valemi struktuuri analüüsides. Näiteks kui on
annaabi.ee 
