t u " olla või mitte olla " ( & ) i JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & s t Lihtsaimaid võimalikke lausearvutuslauseid nimetatakse lihtlauseteks. Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ ( ~ ) I n Lihtlauseid ei saa enam jagada veelgi lihtsamateks lauseteks. VÕI-tehte märgina kasutatakse ka sümbolit + ( + ) Lausearvutuslauseid tähistame formaalselt suurtähtedega: A, B, P, Q . . . __
" kui palka ei tõsteta või tööaega ei vähendata, siis algab streik " " P (siis ja) ainult siis, kui Q " P ↔ Q " ülemus on kohal ainult siis, kui tema auto on maja ees" Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & ( & ≡ ∧) konstruktsiooni ehk loogikatehte abil. 4 sidumiskonstruktsiooni seovad igaüks kahte lauset (binaarsed Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ (~ ≡ ↔) loogikatehted) ja 1 tehe on rakendatav üksikule lausele (unaarne loogikatehe) VÕI-tehte märgina kasutatakse ka sümbolit + (+ ≡ ∨) LOOGIKATEHTED lausearvutuses ülesanded: Olgu antud järgnevad lihtlaused (väited):
annaabi.ee 
