Logikai tagadás (inverzió)
Logikai kifejezések és függvények.
Minden összetett utasítás fejezhető ki egy olyan (logikai kifejezés), amely áll a logikai változók jelezve a nyilatkozatok és a jelek logikai műveletek, jelezve a logikai funkciókat.
Rögzíteni összetett utasításokat formájában logikai kifejezés formális nyelven (nyelv Boole) az összetett szükséges kiválasztani a megnyilatkozás egyszerű megnyilatkozás és logikai kapcsolatok között.
Van egy összetett logikai kifejezés a kifejezést „5 vagy 2x2 = 2x2 = 4 és 2h2¹5 vagy 2h2¹4”. Ez áll az egyszerű mondat:
Ezután az összetett kifejezést felírható a következő formában:
„A vagy B, és vagy
Most meg kell írni egy nyilatkozatot formájában logikai kifejezés a szekvencia alapján végző logikai műveleteket. Amikor végző logikai műveletek, amelyeket a következő sorrendben végrehajtás: inverzió, összefüggésben diszjunkció. Ha módosítani szeretné a megadott sorrendben, zárójelben.
Az igaz vagy hamis állítások összetett lehet meghatározni pusztán formai, vezeti a törvényi propozicionális algebra, anélkül, hogy a szemantikai tartalmát nyilatkozatokat. A fenti logikai kifejezés behelyettesítjük a változók értékei és vezérli az igazság táblázatok alapvető logikai műveletek:
F = (A_) (V) = (0v1) (1V0) = 11 = 1
Ehhez összetett utasítás konstrukció igazság táblázat 4. táblázat), amely meghatározza annak az igazság vagy hamisság minden lehetséges kombinációját kezdeti értékek egyszerű kijelentéseket (logikai változók). Építésekor igazság táblázatokat kell vezérelnie a bizonyos műveletsort:
1. Meg kell határozni a sorok számát igazság táblázat, amely egyenlő a lehetséges kombinációk száma az értékek logikai változók egy logikai kifejezés. Ha a szám a logikai változók n, a sorok száma
A bemutatott példában a logikai kifejezés F = (A_) (v) két a és b változó, ezért
2. Meg kell határozni az oszlopok számát az igazság táblázat, amely a több logikai változók, valamint a több logikai műveleteket. A mi esetünkben a változók száma megegyezik 2. számú logikai műveletek 5, ezért kell hét oszlopban.
3. Az igazság táblázat szükséges, hogy a kívánt számú sorok és oszlopok, és lehetővé tegye készletek kiindulási értékeit logikai változók.
4. Töltse ki a táblázat oszlopait, végző alapvető logikai műveleteket az előírt sorrendben és összhangban az igazság táblázatokat.
A végén, az igazság táblázat a kifejezés a fenti lesz a következő formában: