t Loogikafunktsiooni minimeerimine on tema esitamine minimaalse s 0 0 0 In keerukusega normaalkujul — Minimaalsel Disjunktiivsel NormaalKujul 11 (MDNK) või Minimaalsel Konjunktiivsel NormaalKujul (MKNK). 10 1 0 0 1 Loogikafunktsioone võib minimeerida nende avaldise teisendamisega loogikaalgebra põhiseoseid ja loogikatehete asendusseoseid kasutades. MDNK ja MKNK leidmised on teineteisest sõltumatud ja nad võib leida
x 2 x3 x 1 x 2 00 01 11 10 x1 00 01 11 10 keerukusega normaalkujul — minimaalsel disjunktiivsel normaalkujul 00 (MDNK) või minimaalsel konjunktiivsel normaalkujul (MKNK). 0 01 1 Loogikafunktsioone võib minimeerida nende esituskuju teisendamisega — { 000 010 } 11 loogikaalgebra põhiseosed ja loogikatehete asendusvalemeid kasutades.
lahendamist. Kui tegemist on väidetesüsteemiga ning me otsime tõeseid väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem disjunktiivsel normaalkujul. Selline valem on tõene alati, kui on tõene vähemalt üks konjunktidest, ning konjunkt saab olla tõene vaid siis, kui kõik selles esinevad literaalid on tõesed. Kui me otsime vääri väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem konjunktiivsel normaalkujul. Selline valem on väär alati, kui on väär vähemalt üks disjunktidest. NÜ. Tunniplaani jaoks esitasid mingi klassi ja päeva jaoks oma soovid matemaatika-, keemiaja ajalooõpetaja. Matemaatikaõpetaja palus 1. või 2. tundi, ajalooõpetaja 1. või 3., keemiaõpetaja 2. või 3. tundi. Kas neid soove saab korraga täita, mitu võimalust on? (Ülesandel on lisatingimus, et iga õpetaja peab saama peab täpselt ühe esimesest kolmest tunnist.)
lahendamist. Kui tegemist on väidetesüsteemiga ning me otsime tõeseid väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem disjunktiivsel normaalkujul. Selline valem on tõene alati, kui on tõene vähemalt üks konjunktidest, ning konjunkt saab olla tõene vaid siis, kui kõik selles esinevad literaalid on tõesed. Kui me otsime vääri väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem konjunktiivsel normaalkujul. Selline valem on väär alati, kui on väär vähemalt üks disjunktidest. NÜ. Tunniplaani jaoks esitasid mingi klassi ja päeva jaoks oma soovid matemaatika-, keemia- ja ajalooõpetaja. Matemaatikaõpetaja palus 1. või 2. tundi, ajalooõpetaja 1. või 3., keemiaõpetaja 2. või 3. tundi. Kas neid soove saab korraga täita, mitu võimalust on? (Ülesandel on lisatingimus, et iga õpetaja peab saama peab täpselt ühe esimesest kolmest tunnist.)