klassikalisel viisil omistatud tõeväärtuseks on õige (ehk 1 või T) Hulgateooria valemite konjunktsioonidele ja disjunktsioonidele klassikalisel viisil omistatud tõeväärtused • Kui W ja M on hulgateooria valemite tähised, siis järgnevad kirjutised W&M, WÚM, tähistavad vastavalt valemite W ning M konjunktsioone ja disjunktsioone, milles W ning M on valemis W&M konjunktid ning valemis WÚM disjunktid • Valemite W ja M konjunktsioonile W&M klassikaliselt omistatud tõeväärtuseks on õige vaid siis, kui mõlema konjunkti (st nii W, kuid ka M) klassikaliselt omistatud tõeväärtuseks on õige • Valemite W ja M disjunktsioonile WÚM klassikaliselt omistatud tõeväärtus on õige vaid siis, kui vähemalt ühe disjunkti (st W või M) klassikaliselt omistatud tõeväärtuseks on õige Hulgateooria valemite implikatsioonidele klassikalisel viisil omistatud tõeväärtused
1 0 1 0 0 1 0 1 1 1 0 0 0 0 Loogikaseaduste tõestamisel kontaktskeemide abil joonistatakse võrrandite vasak- ja parempoolsete avaldiste alusel välja kontaktskeemid ning võrreldakse neid omavahel. Avatud kontakt vastab signaalile 0 ning suletud kontakt signaalile 1. Kontaktide jadaühendus vastab loogilisele konjunktsioonile (loogiline NING-funktsioon), kontaktide rööpühendus aga disjunktsioonile (loogiline VÕI-funktsioon). Avanevale kontaktile vastab inversioon ehk loogiline EI-funktsioon. Näiteks saab De Morgani seaduste tõestuse esitada kontaktskeemide abil järgmiselt: a) b) ab=a+b K a a b a=0
annaabi.ee 
