Az egyszerűbb alakra hozás

Egy logikai elven működő vezérlő berendezés ára a beépített elemek számával arányosan növekszik, ezért törekednünk kell a megvalósítandó logikai függvény legegyszerűbb alakjának létrehozására.

Kommutatív szabály (felcserélhetőség)
Asszociatív szabály (társíthatóság)
Disztributív szabály (szétválaszthatóság)

Kommutatív szabály (felcserélhetőség)
Az azonos logikai kapcsolatban levő változók sorrendje tetszőleges.


A szabály alól természetesen az inhibíció és az implikáció műveletei kivételek.

Asszociatív szabály (társíthatóság)
Az azonos logikai műveletek eredménye nem függ a műveletvégzés sorrendjétől.

Disztributív szabály (szétválaszthatóság)

A redundancia

Ugyanis egy adott gyakorlati problémát, ha közvetlenül algebrai alakban megadott logikai függvény formájában írunk le, szinte elkerülhetetlen a redundancia (túlhatározottság). A logikai algebra (Boole-algebra) olyan azonosságokat illetve szabályokat fogalmazott meg az algebrai formában megadott logikai függvények esetén, amelyekkel ezek a függvények egyszerűbb alakra hozhatók.

Kommutatív szabály (felcserélhetőség)
Az azonos logikai kapcsolatban levő változók sorrendje tetszőleges.


A szabály alól természetesen az inhibíció és az implikáció műveletei kivételek.

Asszociatív szabály (társíthatóság)
Az azonos logikai műveletek eredménye nem függ a műveletvégzés sorrendjétől.

Disztributív szabály (szétválaszthatóság):