Előadás az építési igazság táblák elektronikus Excel táblázatban
1 felépítése igazság táblázatok az Excel táblázatkezelő
2. lecke célja: az általánosítás és rendszerezése tudás a téma az „igazság táblák”, „átalakítása logikai kifejezések”, „A megoldás a logikai problémák”; a képesség, hogy automatizálják a kialakulását a határozat logikai feladatok az MS Excel táblázatkezelő.
3 ellenőrzése házi: Euler diagram - Venn: 66, 67; Táblázatos megoldási módja logikai problémák: 59, 127.
4 Inversion - logikai tagadás a latin. Invertál - fordítsa logikai tagadás tesz igaz az állítás hamis, és fordítva, a hamis - igaz. AF = Egy igazság táblázat a logikai tagadás funkció Lefordítva emberi nyelvre: „nem” „Nem igaz, hogy egy” Igaz - Hamis 1-0
5 együttállás - logikai szorzás a latin. conjunctio - társítja az eredménye logikai szorzás igaz akkor és csak akkor, amikor az igazi minden egyszerű kijelentéseket tartalmazza azt. Az igazság táblázat a logikai szorzásművelet ABF = A * B Lefordítva emberi nyelvre „az A és B”, „A és B”, „A közösen B»«És annak ellenére, B”, „Egy ideje A „AI és, * ·
6 szétválasztás - logikai kívül a latin. disjunctio - különböző eredményeket logikai kívül igaz, ha igaz, legalább egy alkotó egyszerű javaslatokat. Lefordítva természetes nyelv: „A vagy B” igazság táblázat logikai kívül funkció ABF = A + B VAGY. vagy, +
7. A következmény - logikáját követő eredménye a logikai következmény hamis akkor és csak akkor, ha hazudni az igazság. A latin. HATÁSOK - szorosan társult igazság táblázatában logikai következtetés funkció ABF = AB A - olyan állapot, - következésképpen lefordítva természetes nyelv: „ha A, akkor B”, „B, ha A” „Ha egy, akkor B”, „Egy elegendő az „” a csak ha B „” For a feltétele, hogy a "
8 Ekvivalencia - a logikus következménye logikai egyenlőség egyenlőség igaz akkor, ha mindkét állítás egyidejűleg igaz vagy hamis. A latin. aeguivalens - egyenértékű igazság táblázat a logikai függvények egyenlőség ABF = A B Lefordítva emberi nyelvre: „Egy egyenértékű B”, „A akkor és csak akkor, ha B„=.
9. A természetes nyelvi logika ... és ... ... és ... nem igaz, hogy ... ... akkor, ha ... ... ha ... akkor ... ... akkor és csak akkor, ha ... ... én nem ... Az alábbi táblázat mutatja, a bal oldalon, hogy melyik oszlop tartalmazza azokat a legfontosabb logikai egyesületek (az ínszalag), amelyen keresztül megnyilatkozások bonyolult felépítésű, természetes nyelven. Töltse ki a jobb oldali oszlop a táblázatban a megfelelő nevek logikai műveleteket.
10 természetes nyelven logika. és. összefüggésben. vagy. diszjunkciót igaz, hogy. elutasítást. mégis. összefüggésben. akkor és csak akkor, ha. egyenértékűségét. de. összefüggésben. a. Ha az összefüggésben. akkor. vonzata. de. összefüggésben. akkor és csak akkor, ha. egyenértékű sem. sem. szigorú szétválasztás. szükséges és elégséges. Mivel az egyenértékűséget. következik. vonzata. jár. vonzata. egyenértékű. egyenértékűségét. szükség. vonzata. elég. fordított vonatkozások
11 algoritmus építése igazság táblázatok: 1.Podschitat változók száma n logikai szempontból; 2. Határozza meg a sorok számát a táblázatban, amely 2 n 3.Podschitat száma logikai műveleteket logikai kifejezés, és hogy meghatározzuk a m száma oszlopok a táblázatban, amely egyenlő m + n 4.Vvesti táblázat oszlop nevét összhangban a logikai sorrendet teljesítményének műveletek a zárójelben és prioritások 5.Zapolnit oszlopok a bemeneti változók értékszemléletét; 6.Provesti kitöltése igazság táblázat oszlopainak végrehajtásával logikai műveletek 4. igénypont szerinti telepített sorrendben.
12 felépítése igazság táblákat egy Excel táblázatot.
14. Hozzon létre egy igazság táblázatot a logikai kifejezés egy (V7S).
15 AVSS (B 7 C) A (B 7 C)
16 létrehozása igazság táblázat a logikai kifejezés egy notebook: F = (A7V) (A7S) (VS) A F = A B v B F = A (B B C) F = a (B C) F = (A B) V (A B) F = A (B v B C)
17 Házi feladat: 1 (46). Megbeszélése az építkezés egy új trohmotornogo repülőgép, három tervezők viszont készül a következő feltételezések: 1) a hiba a második motor szükséges földet, és meghibásodás esetén a harmadik, akkor folytassa a repülést; 2) a hiba az első motor tud repülni, vagy kudarc a harmadik motor nem tud repülni; 3) elmulasztása esetén a harmadik motor tud repülni, de az a tény, legalább egy, a többiek meg kell leülni. Repülési tesztek megerősítették a helyességét az egyes tervezők. Határozzuk hiba a motor nem tudja folytatni a repülést. 2 (54). Képzeljük el a következő helyzetet: a TV-meteorológus bejelenti időjárás holnap, és megállapítja a következőket: 1. Ha nincs szél, ez lesz felhős időjárás nem eső. 2. Ha van eső, felhős idő lesz, és nem fúj a szél. 3. Ha ez felhős időjárás, nem lesz eső, és a szél nem. Tehát mi az időjárás lesz holnap? Ismerete: Jegyezze állapotának problémák 1. és 2. nyelvén matematikai logika. Szerelje le a problémák megoldását a tankönyv (f) milyen szintje: + megfogalmazni előnyeit és hátrányait a módszer problémamegoldás alapuló matematikai logika. Alkalmazási szint: + megfogalmazni típusú logikai problémákat megoldani ezzel a módszerrel.