"loogikaaksioomide" - 1 õppematerjal

Digitaaltehnika

loogikareeglid ja alljärgnevad kahendarvude loogikatehted: Võrdluseks võib esitada kahendarvude aritmeetikatehted: Kahendarvude loogika- ja aritmeetikatehted langevad enamuses kokku, välja arvatud loogiline ja aritmeetiline liitmistehe 11 = 1 ning 1+1 = 10 , mille tulem on erinev. Seepärast tuleb loogika- ja aritmeetikatehteid kindlalt eristada ja loogikatehete 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)