Építő igazság táblák és logikai funkciókat
Logic funkció - egy függvény, amelyben a változók, hogy csak két értéket: a logikai egység vagy logikai nulla. Igaz vagy hamis ítéletek komplex függvénye igaz vagy hamis voltát egyszerű. Ez a funkció az úgynevezett Boole-függvény ítélete f (a, b).
Bármilyen logikai függvény segítségével lehet meghatározni az igazság táblázat bal oldalán, amely rögzíti egy sor érvet, és a jobb oldalon - a megfelelő értékeket a logikai függvény. Amikor létrehozunk egy igazság táblázat figyelembe kell venni az, hogy a logikai műveleteket.
A végrehajtás sorrendje a logikai műveletek egy összetett logikai kifejezés:
zárójelek megváltoztatására a végrehajtás sorrendje az említett műveleteket.
Minden egyes vegyület nyilatkozatok (logikai kifejezés) lehet építeni egy igazság táblázatot. amely meghatározza az igaz vagy hamis az összes lehetséges kombináció kezdeti értékeinek egyszerű mondatokat (logikai változó).
Amikor létrehozunk egy igazság táblázat célszerű követni bizonyos műveletsort.
Egy algoritmust építésére igazság táblák összetett kifejezések:
1. Határozza meg a sorok számát:
= A sorok száma n + 2 sor fejléc,
n - több egyszerű mondatokat.
2. Határozza meg az oszlopok száma:
az oszlopok száma = változók száma + több logikai műveletek;
o meghatározásához a változók száma (egyszerű kifejezéseket);
o számának meghatározása logikai műveletek és a szekvencia azok végrehajtását.
3. Töltsük oszlopok kimenete logikai műveletek megadott sorrendben az igazság táblázatok alapvető logikai műveleteket.
Például: Készítsen egy táblázatot a logikai kifejezés igaz:
1. Határozza meg a sorok számát:
három egyszerű bemeneti megnyilatkozás: A, B, C, így n = 3, és a sorok száma 3 = 2 + 1 = 9.
2. Határozza meg az oszlopok száma:
o egyszerű kifejezéseket (változók): A, B, C;
o közbenső eredmények (logikai műveletek):
o valamint a kívánt végleges értéke aritmetikai kifejezés:
3. Töltsük oszlopok az igazság táblák logikai műveleteket.
Készítsen logikai függvény egy előre meghatározott igazság táblázat.
Szabályai építése egy logikai függvény annak igazság táblázat:
1. Válassza ki az igazság táblázat sorait, amelyben a függvény értéke 1.
2. Írja a kívánt képlet formájában több diszjunkció elemek. Ezek száma elemek száma kijelölt sorban.
3. Minden logikai elem ebben a szétválasztás írva, mint együttállása függvényargumentum.
4. Ha az érték egy argumentumot funkciót a megfelelő sorban ravno0 táblázat. ez az érv, hogy egy tagadás.
1. Az első és a harmadik sorban az igazság táblázat függvény értéke 1.
2. Mivel a két sor, megkapjuk diszjunkcióját a két elem: () V ().
3. Minden logikai elem ebben diszjunkcióját együtt írjuk érvek X és Y funkciókat. (X Y) V (X Y).
4. Vegyünk egy érv egy megtagadása, ha értéke 0, a megfelelő sor a táblázat, és elérje a kívánt funkciót:
4. példa Határozzuk bűncselekmény felhasználó, két feltevésen alapul:
1) „Ha Ivanov nem vett részt, vagy részt Petrov, Sidorov van szó”;
2) 2) „Ha Ivanov nem vett részt, majd Sidorov nem vett részt.”
I - "Ivanov részt vett a bűncselekmény";
P - „Petrov részt vett a bűncselekmény”;
S - „Sidorov részt vett a bűncselekmény.”
Írunk a csomag formájában képletek:
Ellenőrizze az eredményt egy igazság táblázatot:
Válasz: Ivanov részt vett a bűncselekmény.
A számú bemeneti változók előre meghatározott kifejezés három (A, B, C). Ennélfogva, a számú bemeneti készlet Q = 8 = 2 márciusban.
Az oszlopok a igazság táblázat kezdeti értékeinek kifejezések A, B, C közbenső eredményeket és (B V C), valamint a kívánt végső komplex értéke az aritmetikai kifejezés:
1. képezik az igazság táblázat a képlet. amely két változó x és y. Az első két oszlopban a táblázat levelet négy lehetséges pár e változók értékeit a későbbi oszlopokban - közbenső értékek és képletek az utolsó oszlopban - az érték a képlet. Ennek eredményeképpen megkapjuk a következő táblázat tartalmazza:
A táblázat azt mutatja, hogy az összes tuple változók x és y értékét veszi fel az 1 általános képletű, azaz azonosan igaz.
2. Az igazság táblázat képletnél
3. Az igazság táblázat a képlet:
A táblázat azt mutatja, hogy a képlet egyes esetekben veszi az 1 értéket, és néhány - 0, azaz ez megvalósítható.
Bob megkérdezte anyám: „Te is megy a moziba, vagy futball,” Anya azt mondta, nem. Mi a különbség a fiú?
Helyességét a törvény által igazság táblázat.
Az osztály kiderült, hogy törött üveg. Tanár magyarázza Rendező: Nick tett vagy Sasha. De Sasha tette ezt, mert abban az időben ő adott nekem hitelt. Következésképpen azt tette Kohl
Megoldás: hivatalossá ezt is nehéz feladat.
By - tette Kohl
A - tette Sasha
Max egyszerű mondatokat n = 2.