Létrehozunk egy igazság táblázat
Létrehozunk egy igazság táblázat ítéletek, melyek között több mint két változó, a számtani bizonyos szabályok szerint.
Tegyük fel, hogy meg kell építeni egy igazság táblázatot a következő állítások: (A → (B

Annak megállapításához, a sorok száma igazság táblázat a következő képletet: 2 3 = 8 sor, amikor 2 - logikai állandó, mivel bármilyen állítás lehet igaz vagy hamis, nincs harmadik, hogy két értékes logika.
Az elosztási algoritmus és értékei változók és a következő:
- az oszlop első írási 4-szer az „I” és 4-szer „L”;
- az oszlop, hogy írjon az első 2-szer „I” és 2x „L”, majd ismételje meg;
- az oszlop a C váltakozva, kezdve a érték „I” alternatív értékeket.
Példa táblázatok összetett értékelések (A → (B

A végrehajtási sorrendjét intézkedések ebben a táblázatban ugyanaz, mint a matematika: az első, a műveletek végrehajtása zárójelben, majd a zárójelben. Attól függően, hogy az elosztási értékek „igazi” és „hamis” az Eredmény oszlopban a logikai három faj a képletek: a) működőképes képlet - az egyetlen, amely a kapott oszlop kap legalább az egyik érték „igaz”; b) azonosan hamis képletű - az egyik, hogy rendre csak elfogad egy értéket a „hamis”; c) azonosan igaz (vagy logikai jog) képlet - az egyik, hogy az eredmény oszlopban csak azt fogadja el az érték „igaz”. A kapott oszlop az igazság, ami megfelel az utolsó, hogy végre az ő lépéseket.
11. gyakorlat
Az egyszerű kijelentések: a- „dolgozom az irodában,” B- „Szeretem a szakmám,” c „vagyok a hallgató a University of” tegyen nyilatkozatot megfelel az alábbi képletek:
A probléma megoldására van szükség, hogy vegye figyelembe, hogy a

Példa: egy


12. gyakorlat
Határozzuk meg, hogy az adatok azonos képlet - igaz (vagy logikai törvények).
Példa: (a∩b)

(A∩b)

A letöltés folytatásához össze kell rakni egy képet: