"gvf" - 1 õppematerjal

DME Eksamiks kordamise konspekt

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