r Edaspidi eelistame loogikatehete nimedena kasutada termineid inversioon 0 0 1 0 0 1 1 A disjunktsioon konjunktsioon implikatsioon ekvivalents. 0 1 1 0 1 1 0 1 0 0 0 1 0 0 Implikatsioonitehte operandide staatus: eeldus järeldus 1 1 0 1 1 1 1 t Ekvivalentsitehte mõlemad operandid on samaaegselt teineteise eelduseks ja u u järelduseks :
↔ loogiline samaväärsus e. ekvivalents Kui vihma sajab, siis on suvi või väljas on soe ( võrdusmärgi ' = ' analoog loogikas) V → (S ∨ O) Implikatsioonitehte operandide staatus: eeldus → järeldus Ekvivalentsitehte mõlemad operandid on teineteise eelduseks ja järelduseks : Väljas on pime (siis ja) ainult siis, kui päike on loojunud ja pole suvi või päikesevarjutus kestab kui P ↔ Q siis P → Q ja samal ajal ka Q → P
annaabi.ee 
