tõeväärtused on võrdsed igal neis valemeid esinevate muutujate väärtustel. Lausearvutuse põhisamaväärsused: 1. Idempotentsuse seadused a. F&FF FvFF 2. Kommutatiivsuse omadused a. F&GG&F FvGGvF 3. Assotsiatiivsuse seadused a. (F&G)&HF&(G&H) (FvG)vHFv(GvH) 4. Distributiivsuse seadused a. F&(GvH)F&GvF&H FvG&H(FvG)&(FvH) 5. Neelamisseadused a. F&(FvG)F FvF&GF 1 6. De Morgani seadused a. (F&G)=FvG (FvG)=F&G 7. Kahekordse eituse seadus a. FF 8. Liikmete elimineerimise reeglid a. F&T=F F&V=V FvT=T FvV=F 9. Implikatsiooni avaldis konjukstiooni ja disjunktsiooni kaudu a
Lausearvutuse põhisamaväärused o Idempotentsuse seadused: F&F≡F, F∨F≡F. o Kommutatiivsuse seadused: F&G≡G&F, F∨G≡G∨F. o Assotsiatiivsuse seadused: 5 (F & G) & H ≡ F & (G & H ), (F ∨ G) ∨ H ≡ F ∨ (G ∨ H ). o Distributiivsuse seadused: F & (G ∨ H ) ≡ F & G ∨ F & H , F ∨ G & H ≡ (F ∨ G) & (F ∨ H ). o Neelamisseadused: F & (F ∨ G) ≡ F , F∨F&G≡F. o De Morgani seadused: ¬(F & G) ≡ ¬F ∨ ¬G, ¬(F ∨ G) ≡ ¬F & ¬G. o Kahekordse eituse seadus: ¬¬F ≡ F . o Liikmete elimineerimise reeglid, kus T on suvaline samaselt tõene valem ja V on suvaline samaselt väär valem: F&T≡F, F&V≡V, F ∨T ≡T , F∨V≡F. o Implikatsiooni avaldis konjunktsiooni ja disjunktsiooni kaudu: F → G ≡ ¬(F & ¬G), F → G ≡ ¬F ∨ G.
annaabi.ee 
