Igazság táblázatok, képletek és példák
Logic funkció - egy függvényt, amely változtatható értékek és a függvény értékét kifejezni egy logikai igazság.
Ezeket be lehet állítani, hogy "true" vagy "false" (1 vagy 0). A funkció, amely két változó, beállítja a változók értékei csak négy:
Boole-függvények által meghatározott igazság táblázat.
Az igazság táblák az alapvető bináris logikai függvények
1. együttállás (logikai szorzás) - komplex logikai kifejezés, amely igaz, csak abban az esetben, amikor mind a valódi tagját egyszerű kifejezéseket.
2. A diszjunkció (logikai összeadás) - olyan összetett logikai kifejezés, ami igaz, ha legalább az egyik egyszerű logikai kifejezések igaz és hamis, ha az egyszerű logikai kifejezés hamis.
3. A következmény (logikus következménye) - olyan összetett logikai kifejezés, hogy hamis akkor, ha a feltétel igaz, de az a következménye, hamis.
4. Az egyenértékűség - komplex logikai állítás, amely igaz, csak ugyanolyan igaz értéke egyszerű kifejezéseket tartalmazott benne.
5. Logikai tagadás (inverzió) tesz igaz állítás hamis, és fordítva, a hamis - igaz.
6. Bár Schaeffer - egy művelet tagadja együtt, azaz a értéke hamis, ha és csak ha az egyszerű kifejezéseket igaz.
7. logikai sem - egy művelet tagadja együtt, azaz a értéke igaz, ha és csak ha az egyszerű kifejezéseket hamis.
A végrehajtás sorrendje a logikai műveletek
Amikor létrehozunk egy igazság táblázat figyelembe kell venni az, hogy a logikai műveletek:
- inverzió
- kötőszó
- elválasztás
- hallgatólagosan
- egyenértékűség
- Sheffer szélütés
- Pierce nyíl
prioritás nincs definiálva a két utolsó.
Megjegyzés. Ha kell használni zárójelben sorrendjének módosításához a megadott logikai műveleteket.
Példák problémák megoldása
Hozzon létre egy igazság táblázat a függvény
Építünk igazság táblázat egy adott funkció, amely a két változó, és. Az első két oszlopban szereplő táblázat levelet négy lehetséges pár e változók értékeit a következő oszlopokban - funkciók és közbenső értékek az utolsó oszlop - érték funkciókat. Ennek eredményeképpen megkapjuk a következő táblázat tartalmazza:
