DeMorgan's Theorema's: Boolesche Complementering en Poortequivalentie Beheersen

Een fundamenteel concept in de Boolesche algebra, DeMorgan's theorema's koppelen het gedrag van logische poorten wanneer hun invoeren of uitgangen geïnverteerd worden. Deze regels, genaamd naar wiskundige Augustus DeMorgan, stellen ingenieurs in staat om EN-, OF-, NAND- en NOR-poorten in elkaar om te zetten, wat zowel logische expressies als fysieke schakelingsontwerpen vereenvoudigt.

In de Boolesche algebra wordt een "groepscomplementering" voorgesteld door een lange balk over meerdere variabelen, wat aangeeft dat het gehele product of de som geïnverteerd is. Dit verschilt van het primesymbool ('), dat slechts een enkele variabele kan inverteren. Bijvoorbeeld, (AB)' is niet hetzelfde als A'B'; haakjes zijn essentieel om aan te geven dat de balk van toepassing is op het hele product.

Wanneer elke invoer van een poort geïnverteerd wordt, keert de kernfunctie van de poort om: een OF-poort met alle geïnverteerde invoeren gedraagt zich identiek aan een NAND-poort, terwijl een EN-poort met geïnverteerde invoeren equivalent is aan een NOR-poort. DeMorgan's theorema's formaliseren deze observatie door te tonen dat het inverteren van de uitgang van een poort hetzelfde effect heeft als het wisselen van het poorttype en het inverteren van de invoeren.

Hieronder volgt een visuele illustratie van de kernequivalentie:

Wanneer een lange balk in een Boolesche expressie "gebroken" wordt, keert de operatie direct onder de breuk om – optelling wordt vermenigvuldiging en vice versa – terwijl de gebroken stukken van de balk boven de individuele variabelen blijven. Deze subtile regel regeert hoe expressies worden vereenvoudigd.

In expressies met meerdere lagen van balken is de veiligste strategie om eerst de langste, bovenste balk te breken. Het proberen om twee balken tegelijkertijd te breken kan tot onjuiste resultaten leiden.

Bijvoorbeeld, het vereenvoudigen van (A + (BC)')' verloopt als volgt:

Eerst breken we de outerste balk:

Wat resulteert in een drie-invoers EN-poort met de A-invoer geïnverteerd.

Breek nooit meer dan één balk in een enkele stap:

In plaats daarvan kun je eerst de kortere innerlijke balk breken, maar dit vereist een extra stap:

Let op dat het breken van een balk op meerdere plekken binnen één stap wel toegestaan is; de beperking geldt alleen voor het breken van meerdere afzonderlijke balken tegelijkertijd.

Haakjes spelen een cruciale rol omdat een balk fungeert als groeperingssymbool. Na het breken van een balk moeten de gegroepeerde termen samenblijven om de juiste operatorprioriteit te behouden.

Bekijk deze expressie die het belang van correcte groepering demonstreert:

Nu passen we DeMorgan's theorema's toe op een echte poortschakeling. De eerste stap is het vertalen van de schakeling naar een Boolesche expressie door de uitgang van elke poort te labelen:

Systeemmatig gaand te werk, schrijven we de uitgangen van de eerste NOR- en NAND-poort, rekening houdend met de complementerende balk door de pre-inversie-expressie te scheiden van de uiteindelijke gecomplementeerde uitgang:

Ten slotte drukken we de uitgang van de laatste NOR-poort uit:

Het reduceren van de resulterende expressie met Boolesche identiteiten en DeMorgan's theorema's levert een gestroomlijnde vorm op:

De equivalente, vereenvoudigde schakeling wordt hieronder getoond:

Kernpunten

• DeMorgan's theorema's onthullen dat het inverteren van een poortuitgang equivalent is aan het wisselen van het poorttype (EN ↔ OF) terwijl de invoeren worden geïnverteerd.
• Het breken van een complementeringsbalk keert de onderliggende operatie om; de gebroken stukken blijven boven de betrokken variabelen.
• Breek altijd eerst de langste, bovenste balk en probeer nooit twee verschillende balken in één stap te breken.
• Balken fungeren als groeperingssymbolen; na het breken moet correcte groepering met haakjes behouden blijven om prioriteit te bewaren.

Gerelateerde Werkbladen

• Boolesche Algebra Werkblad