Logická proměnná

Logická proměnná je taková proměnná, která může nabývat nějakého konečného počtu logických hodnot; nejčastěji jsou tyto hodnoty dvě a reprezentují stavy pravda a nepravda. Logické proměnné se používají v teorii řízení, číslicové technice a jako teoretický základ moderní elektroniky. Logická proměnná je také jedním z nejčastějších datových typů v imperativních programovacích jazycích.

S logickými proměnnými lze provádět základní logické operace, mezi něž patří negace, konjunkce, disjunkce. Přidáme-li k těmto operacím ještě logické konstanty pravda a nepravda, je získaná struktura Booleovou algebrou, která je ve výše zmíněném dvouhodnotovém případě triviální.

Využití v elektronice

V elektronice abstrahují logické proměnné napěťové nebo proudové úrovně vstupů do sekvenčních, kombinačních či integrovaných obvodů, procesorů, řadičů nebo logických hradel.

Odkazy

Související články

• Booleova algebra
• Logická funkce
• Logická operace
• Matematická logika

Externí odkazy

• Sktripta VŠCHT Praha

Portály: Matematika