tähistamiseks võib kasutada aritmeetikatehete märke vaid juhul kui pole ohtu neid tehteid segi ajada. Loogikaaksioomide põhjal tuletatakse peamised loogikaseadused: 1. Domineerimisseadus I. Suvalise muutujate hulga konjunktsioon on null (tühihulk), kui kas või ainult üks muutujatest võrdub nulliga 2. Domineerimisseadus II. Suvalise muutujate hulga disjunktsioon on üks (universaalhulk), kui kas või ainult üks muutujatest võrdub ühega 3. Indempotentsus- ehk samaväärsusseadus (kehtib ka kolme ja enama muutuja kohta). Argumendi loogiline korrutamine või liitmine iseendaga ei muuda tulemi väärtust 4. Eituse eitamise seadus. Argumendi väärtus tema kahekordsel eitamisel ei muutu 5. Komplementaarsus- ehk täiendiseadus. Argumendi ja tema eituse ehk täiendi loogiline korrutis on null, loogiline summa üks 6. Kommutatiivsusseadus. Argumentide järjekorda loogikatehetes võib muuta 7
annaabi.ee 
