A rendszerelemek és bemutatása funkciók - studopediya
A képlet (vagy sootvetstvuyuschayaey funkció) nevezzük megvalósítható, ha ez nem egy identitás kormányzati-nulla vagy egy. A döntés szerint a véges számú intézkedés kérdés, hogy ez a képlet kielégíthető, t. E. Legyen ez nem azonosan nulla vagy egy, a fogadó projekt beállított probléma oldódnak.
A válasz erre a kérdésre úgy állíthatjuk elő, létrehozunk egy képlet erre leképezés táblázat, amely lényegében olyan megakadályozására osztódó képlet az összes lehetséges értékrendeken tagvállalatai változókat. Ha minden egy sor képletek Prien mindössze értékek 0 vagy 1, csak ez nem megvalósítható.
A nagyszámú változót ez a módszer nem kivitelezhető, mert a nagyszámú lehetséges készlet változó. Kényelmesebb módon -, hogy a formula a nor-mal formában. Ha során a képlet a nem válik azonosan 0 vagy 1, akkor ez azt jelzi annak megvalósíthatóságát.
A beállított változók nevezzük alkotó egység expresszió, és a kifejezés - összetevőjeként nulla (azaz vagy). Ez tevő egység (nulla) kifejezés egy (nulla) csak akkor, ha az egyik a megfelelő jelen-állított változók, amelyet úgy kapunk, ha minden változó jelentése feltételezzük, hogy az egyik (nulla), és ezek megtagadása - nulla (egység). Például, egy alkotó egységet korom-os állás, hogy egy sor (1011), összetevőjeként nulla - meghatározott (1001).
Mivel tökéletes Diszjunktív (konjunktív) lamellák alapkivitelben alkotnak diszjunkció (kötőszó) alkotórésze egység (nulla), akkor lehet mondani, hogy egy logikai f () függvény által képviselt válik egység (nulla), ha a készlet változó értékeket ezeknek megfelelő összetevőket. Másrészt meghatározza ennek a funkciónak nulla (egy).
Fordítottja is igaz, amelynek alapja a módszer a képviselet a képletben minden Boole-függvény adott táblázatban. Ehhez meg kell írni a diszjunkció (kötőszó) összetevői egység (nulla), a megfelelő sor zna-Cheny változókat, amelyek a függvény értéke egyenlő-nek egység (nulla).
Példa. Funkció adott tábla
megfelelnek teljesen normális formában:
A kifejezések kapott lehet alakítani egy másik viduna tulajdonságai alapján a Boole-algebra.