Előadás az alapjait matematikai logika
Előadás a témában. „Alapjai logikai előadás 2. Egy algoritmust építésére igazság táblázatok 1. Számolja változók száma n logikai szempontból; 2. Határozza meg a számot.” - átirata:
1 Az alábbi matematikai logika. előadás 2
2. algoritmus építésére igazság táblázat 1. Compute változók száma n logikai szempontból; 2. Határozza meg a sorok számát a táblázatban, egyenlő m = 2 n; 3. Számítsuk ki a logikai műveletek, hogy meghatározzuk egy logikai kifejezés, és az oszlopok számát a táblázatban, ami a változók száma, valamint a műveletek számát; 4. Írja be a táblázat oszlop nevét összhangban a logikai sorrendet műveletek elvégzésére a konzolok és prioritások 5. Töltse oszlopok értékeinek halmazai bemeneti változók; 6. Végezze el a tölteléket az igazság táblázat oszlopait, teljesítő logikai műveletek 4. igénypont szerinti telepített sorrendben.
3. példa: Construct egy igazság táblázatot kifejező változók száma n = 3, a sorok száma m = 2 március = 8 - 5, az oszlopok száma = n + 5 = A műveletek száma az expressziós
4
5. Megoldás: Megoldás: meghatározza a végrehajtás műveletek sorrendjét figyelembe véve prioritás logikai művelet: Annak meghatározására érvényességét a logikai formula: Példa: Az érvényességének meghatározása logikai képlet a probléma megoldására konstrukciót igazság táblázat ezen képlet, fárasztó minden variációját értékeinek logikai változók A, B és C. Itt a numerikus jelölése logikai változók: 1 - az igazság, 0 - hazugság. Ez a logikai formula azonosan igaz, azaz a igaz az összes értékeket alkotó logikai változókat.
Logikai elemek 6 berendezés, amely a feldolgozás után a bemeneti jel bináris kimeneti jelet, hogy ez az érték az egyik logikai műveletek, az úgynevezett logikai elem.
7 termék neve Picture logikai függvény NOT (inverter) és (conjunctor) OR (disjunctors) ÉS-VAGY-NEM
9. példa: egy adott logikai funkciót, hogy egy logikai áramkör. A B F (A, B) B A 12345
10. példa: A logikai áramkör két bemenete az X és Y meghatározásához logikai funkciók F 1 (X, Y) és F 2 (X, Y), amelyek hasonlóan vannak kialakítva annak két kimenet. X Y F 1 (X, Y) F 2 (X, Y)