Operátory Booleovy algebry

Negace: INV

ne x, non x, inverze, invertor

Negace se označuje pruhem nad proměnnou veličinou

Je-li operand  roven log.0, je jeho negace rovna log.1.

Je-li operand roven log.1, je jeho negace rovna log.0.

Obvod tedy dává na výstupu vždy opačnou –inverzní hodnotu!

x

0

1

1

0

Schematická značka invertoru:

Realizace invertoru rozpínacím kontaktem:

Logický součet: OR

x nebo y, sjednocení, disjunkce

Označuje se symbolem „+“ mezi operandy.

Logický součet je rovný log.0 pouze v případě, kdy se rovnají log.0 oba dva operandy.

Je-li alespoň jeden z operandů rovný log.1, je rovný log.1 i jejich logický součet.

x

y

x + y

0

0

0

0

1

1

1

0

1

1

1

1

Schematická značka logického obvodu OR:

Logický součet realizovaný paralelním zapojením kontaktů:

Logický součin: AND

x a y, průnik, konjunkce

Označuje se symbolem „·“ mezi operandy.

Logický součin je rovný log.1, pouze v případě, kdy jsou rovny log.1 oba operandy.

 Je-li alespoň jeden z operandů rovný log.0, je rovný log.0 i jejich logický součin.

x

y

x · y

0

0

0

0

1

0

1

0

0

1

1

1

Schematická značka logického obvodu AND:

Logický součin realizovaný sériovým zapojením kontaktů:

Logické operátory INV, OR, AND tvoří dohromady úplný systém logických funkcí. Veškeré další logické funkce z nich lze sestavit.




Minimální úplné systémy logických funkcí

Negovaný logický součin: NAND

Negovaný logický součin se rovná log.0, pokud jsou oba operandy rovny log.1.

Ve všech zbývajících případech se rovná log.1.

x

y

0

0

1

0

1

1

1

0

1

1

1

0

Schematická značka logického obvodu NAND:


Negovaný logický součin realizovaný paralelním spojením rozpínacích kontaktů:

Přeměna sériového zapojení na paralelní je způsobena využitím de Morganových zákonů.

Operátor NAND tvoří minimální úplný systém logických funkcí, protože z něj lze základní logické operátory (INV, OR, AND) sestavit.

Negovaný logický součet: NOR

Negovaný logický součet se rovná log.1, pokud jsou oba operandy rovny log.0.>

Ve všech zbývajících případech se rovná log.0.

x

y

0

0

1

0

1

0

1

0

0

1

1

0

Schematická značka logického obvodu NOR:

Negovaný logický součet realizovaný sériovým spojením rozpínacích kontaktů:

Přeměna paralelního zapojení kontaktů na sériové je způsobena využitím de Morganových zákonů.

Operátor NOR tvoří minimální úplný systém logických funkcí, protože z něj lze základní logické operátory (INV, OR, AND) sestavit.




Další využívané logické operátory a obvody

Výhradní logický součet: XOR, EX-OR

Exkluzivní logický součet, nonekvivalence

Funkce výhradního logického součtu se rovná log.1, pokud  se logické hodnoty operandů liší.

x

y

0

0

0

0

1

1

1

0

1

1

1

0

Schematická značka logického obvodu EX-OR:

Výhradní logický součet realizovaný spojením spínacích a rozpínacích kontaktů:

Opakovač (buffer):

Buffer vykonává triviální logickou funkci opakování vstupní logické hodnoty na výstupu. Jeho význam spočívá v tom, že jako elektronický obvod "zesiluje (posiluje)" procházející signál v tom smyslu,

že zvětšuje rozdíl signálu mezi hodnotou log.0 a log.1 a umožňuje větší proudový odběr z výstupů ne odebírají vstupny. (Tento efekt ovšem mají i dosud již probrané logické obvody.)

x

0

0

1

1

Schematická značka:

Realizace pomocí spínacího kontaktu: