Táblázatos formában történő komplex állítások igazságát, tartalom platform

Prioritás logikai műveletek

1) inverzió 2) az összefüggésben 3) diszjunkció 4) vonatkozások és az egyenértékűség

Hogyan hozzunk létre egy igazság táblázatot?

A definíció szerint az igazság tábla a logikai képlet fejezi közötti levelezés minden lehetséges értékrendeken és a változók értékét a képlet.

Egy formula, amely két változó, mint értékrendeken mind a négy változó:

Ha a képlet magában foglalja a három változó, a lehetséges készlet a változók értékeit nyolc (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0 ), (1, 0, 1), (1, 1, 0), (1, 1, 1).

A készletek száma a formula négy azonos változóval tizenhat, és így tovább. D.

Egy kényelmes formája a felvételt, amikor az érték a képlet egy táblázat a következő értékeket tartalmazza, kivéve a változók értékeit és képletek szintén közbülső értékek és képletek.

1. Forma A 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 a képlet egyes esetekben, úgy az 1 értéket, és bizonyos - 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 ezt tette, t. Hogy. Ezúttal kaptam 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.

1) Határozza meg a számát a sorok és oszlopok igazság táblázat.

. Mivel a minden egyes egyszerű kijelentéseket vehet csak két érték (0 vagy 1), a számos különböző kombinációi értékek n kijelentések - 2 n.

A sorok száma a táblázatban = 2n + vonalat a fejléc.

Az oszlopok száma a táblázatban az összege mennyiségű egyszerű mondatot (n) és a számos különböző logikai műveleteket tartalmazza komplex nyilatkozatot.

Ebben a példában: a sorok száma - 1 = 22 + 5

oszlop - 2 + 4 = 6

2) Készítsen táblázatot, és töltse ki a fejlécben

Az első sor - oszlop számokat.

A második sor a képlet szerinti közbenső terméket és a megfelelő feltételes írási műveleteket az értékeket.

Példánkban az első töltet az 1. és 2. oszlop.

Összhangban az igazság táblázatok megfelelő logikai műveleteket, ahol a töltés során az egyes oszlopok a műveleteket az értéket, egy vagy két oszlopot, balra található a töltelék.

Tehát, kiszámítja az értékeket a harmadik oszlopba az értékeket a 2., akkor az érték a 4. - értékeinek megfelelően az 1. és a 2. ...