[ Webhosting profitux.cz ]
<?php echo _title;?> www.prochazka.zde.cz
www.ccsinfo.com/CEH
Server si právě čte 111 lidí, dnes je neděle, 17. Únor 2019   
Kategorie: Knihovnička

Booleova algebra

V úvodu hned zdůrazňuji, že Booleova algebra není algebrou čísel, s jakou se setkáváme v matematice, ale je to algebra stavu. Vzhledem ke klasické algebře, je proto jinak definovaná, např. v ni vůbec neexistují operace odčítání a děleni.

Základní funkce Booleovy algebry jsou:

  • Logicky součet (disjunkce)
  • Logicky součin (konjunkce)
  • Negace

Tyto tři funkce si nyní podrobně popíšeme. Proměnné budeme označovat velkými písmeny bez indexu.
Oba logické stavy, logickou jedničku a nulu budeme zapisovat symboly 1, 0. Pro operace logického součtu a součinu budeme používat symboly ( + ) a ( . ).

Logicky součet ( OR ):

or_obr1

Výstup proměnná Y má hodnotu 1 tehdy, má-li alespoň jedna ze vstupních proměnných hodnotu 1.

Logicky součin ( AND ):

and_obr2

Výstupní proměnná Y má hodnotu 1 tehdy, má-li hodnotu 1 obě vstupní proměnné.

Negace:

negace_obr3

Výstupní proměnna Y má vždy opačnou hodnotu než vstupní proměnná.

Uvedené tři základní funkce lze rozšířit na libovolný počet vstupních proměnných a to v přímém i inverzním tvaru. Kombinaci takových funkcí pak vznikají obecné logické rovnice pro N proměnných. Uveďme si nyní některá pravidla pro práci s Booleovou algebrou. Jsou většinou formálně shodná s pravidly vžité s číselnou algebrou. Přesto pozorujeme (nebo si spíše většinou neuvědomujeme) některé odchylky, vyplývající z omezeni, že máme k dispozice dvě hodnoty a to 1 a 0.

Zcela logická jsou pravidla pro součet a součin jedné proměnné s konstantou. Tyto i ostatní vztahy si lze ověřit dosazením hodnot 1 a 0 za proměnnou. Již při dvou proměnných vidíme, jaký takový důkaz je zdlouhavý (Postupné vyčerpaní všech možností.).

A + 0 = A
A + 1 = 1
A + A = A
A + /A = 1
A . 0 = 0
A . 1 = A
A . A = A
A . /A = 0

Pravidla pro operace s několika proměnnýma se řídí podobnými zákony, jaké známe. Jsou uvedené společně pro logický součet a součin.

Komutativní Zákony:

A + B = B + A
A . B = B . A

Asociativní Zákony:

(A + B) + C = A + B + C)
(A . B) . C = A . (B . C)

Distributivní Zákony:

(A + B ) . C = A . C + B . C
(A + C) . (B + C) = AB + C

Od definice číselné algebry se však jeden z nich zcela odlišuje. Je to druhý z distributivních zákonů (pro násobeni). Vysvětlíme si to, v následujícím přikladu:

(A + C) . (B + C) = AB + BC + AC + C

Podle prvního distributivního zákona pro sčítání upravíme rovnici do tvaru (A + C) . (B + C) = AB + (A + B) C + C v němž výraz (A + B) C muže při A + B = 0, popř. 1 nabývat hodnoty (A + B) . C = 0, popř. C. Proto platí, že AB + 0 (popř. C) + C = AB + C a lze psát rovnost (A + C) . (B + C) = AB + C, shodnou s definicí 2. distributivního zákona.

Dokazovat obdobným způsobem správnost tohoto zákona při konverzi v opačném směru by bylo obtížnější.

Důkaz je zde s využitím Shannonova teorému

Zákon dvojité negace:

//A = A

Po dvojnásobné negaci je výstupní proměnná totožná se vstupní proměnnou.

Zcela mimořádnou vlastností Booleovy algebry je její dualita. Vyplývá z naprosté symetrie základních zákonů. Ke každému zákonu lze vždy najít zákon další, k původnímu duální.Duální zákon lze přitom odvodit z původního poměrně jednoduchým postupem, založeným na využití principu inverzi funkce. Důsledkem duality je to, že libovolnou logickou funkci můžeme volbou vhodného postupu vyjádřit v jiném (duálním) tvaru. Které zákony jsou vzájemně duální, disjunktní a konjunkcí funkce jedné proměnné, stejně jako první a druhý komutativní, asociativní a distributivní zákon. Vzájemně duální zákony lze použít k tomu, abychom libovolný logický výraz vyjádřili v jeho duálním tvaru. Přitom je nutné postupovat podle určitých pravidel, v nichž klíčovou roli hraje již zmíněný princip inverze logické funkce. Zvládnuti těchto pravidel, formulovaných de Morganovými zákony a v zobecněné formě Shannovým teorémem, je velmi užitečné, protože na nich založených postup odvození duálního logického výrazu nevyžaduje důkazu. Proti intuitivnímu přístupu ke konkrétním úlohám, které většinou zdaleka nemají jediné řešení, se tak práce velmi zjednodušuje a omezuje se možnost zavádění chyb do výpočtu, zvláště při větším počtu proměnných.

print Formát pro tisk

Komentáře rss

Přidat komentář >

Nebyly přidány žádné komentáře.

Všechny informace jsou zahrnuty pod GPL licenci, pokud není explicitně uveden jiný typ licence.
Používání těchto stránek ke komerčním účelům lze jen se souhlasem autora.
Všechna práva vyhrazena (c) 1997 - 2019 hacesoft.
ONCZ.NET

Klikněte pro Statistiky tohoto webu.

Jste návštevník číslo: 264171
Celkem zobrazeno stránek: 8029792
Přihlásit do administrace
Seo test