"elementaarkonjunktsioonile" - 1 õppematerjal

Diskreetse matemaatika elemendid

¬(F ∨ G) ≡ ¬F & ¬G Kui kuskile tekib kahekordne eitus, siis jätame selle ära. o Viime konjunktsioonid disjunktsioonidest sügavamale, kasutades distributiivsuse seadusi F & (G ∨ H ) ≡ F & G ∨ F & H (F ∨ G) & H ≡ F & H ∨ G & H o Eemaldame liikmed, mis sisaldavad vastandlikke literaalipaare, sest need liikmed on samaselt väärad. Igast järelejäänud liikmest kaotame literaalide kordused. Jätame välja korduvad liikmed. o Lisame igale elementaarkonjunktsioonile täiskomplektist puuduvad muutujad, kasutades seost F ≡ F & (A ∨ ¬A). Seejärel rakendame uuesti distributiivsuse seadusi ja korrutame sulud lahti o Jätame välja täielike elementaarkonjunktsioonide korduvad eksemplarid, kasutades idempotentsuse seadust F ∨ F ≡ F . 7. Boole’i funktsioonide esitamine lausearvutuse valemitega. [1, L3 slaidid] o DEF: Kaheelemendilisel hulgal defineeritud funktsioone nim Boole’i funktsioonideks.