loogiline liitmine ehk disjunktsioon ehk VÕI-tehe binaarset (kahe operandiga) tehet. ( aritmeetilise liitmise analoog loogikas ) k a Kui A ja B on suvalised lausearvutuslaused alternatiivsete tõeväärtustega i loogiline järeldamine ehk implikatsioon n 0 või 1 , siis nendevaheliste loogikatehete tulemuseks olevate liitlausete ( ei oma aritmeetikas analoogi ) h tõeväärtused on järgnevad:
O ↔ (S ∨ L) = 1 ↔ (0 ∨ 1) = 0 [vale] Loogikatehete operandideks on tõeväärtused (0 ja 1) ja tulemuseks on samuti ———————————————————————————————————————————— tõeväärtus. Lausearvutuses kasutatakse ühte unaarset ja nelja binaarset tehet. __ Kui A ja B on suvalised lausearvutuslaused alternatiivsete tõeväärtustega (V ↔ S ) ∨ (P ∧ O ) 0 või 1, siis nendevaheliste loogikatehete tulemuseks olevate liitlausete tõeväärtused on järgnevad: __ __ ( V ↔ S ) ∨ ( P ∧ O ) = ( 0 ↔ 0 ) ∨ ( 1 ∧ 1 ) = 1 [tõene]
annaabi.ee 
