By use of De Morgan's theorem, an AND action is identical to an OR action with negated inputs and outputs. Likewise, an OR action is identical to an AND action with negated inputs and outputs. Similarly, a NAND aboideau is agnate to an OR aboideau with negated inputs, and a NOR aboideau is agnate to an AND aboideau with negated inputs.
This leads to an another set of symbols for basal gates that use the adverse amount attribute (AND or OR) but with the inputs and outputs negated or inverted. Use of these another symbols can accomplish argumentation ambit diagrams abundant clearer and advice to appearance adventitious affiliation of an alive aerial achievement to an alive low ascribe or vice-versa. Any affiliation that has argumentation negations at both ends can be replaced by a negationless affiliation and a acceptable change of aboideau or vice-versa. Any affiliation that has a antithesis at one end and no antithesis at the added can be fabricated easier to adapt by instead application the De Morgan agnate attribute at either of the two ends. When antithesis or polarity indicators on both ends of a affiliation match, there is no argumentation antithesis in that aisle (effectively, bubbles "cancel"), authoritative it easier to chase argumentation states from one attribute to the next. This is frequently apparent in absolute argumentation diagrams - appropriately the clairvoyant charge not get into the addiction of advertence the shapes alone as OR or AND shapes, but additionally booty into annual the bubbles at both inputs and outputs in adjustment to actuate the "true" argumentation action indicated.
All argumentation relations can be accomplished by application NAND gates (this can additionally be done application NOR gates). De Morgan's assumption is best frequently acclimated to transform all argumentation gates to NAND gates or NOR gates. This is done mainly back it is accessible to shop for argumentation gates in aggregate and because abounding electronics labs banal alone NAND and NOR gates.
This leads to an another set of symbols for basal gates that use the adverse amount attribute (AND or OR) but with the inputs and outputs negated or inverted. Use of these another symbols can accomplish argumentation ambit diagrams abundant clearer and advice to appearance adventitious affiliation of an alive aerial achievement to an alive low ascribe or vice-versa. Any affiliation that has argumentation negations at both ends can be replaced by a negationless affiliation and a acceptable change of aboideau or vice-versa. Any affiliation that has a antithesis at one end and no antithesis at the added can be fabricated easier to adapt by instead application the De Morgan agnate attribute at either of the two ends. When antithesis or polarity indicators on both ends of a affiliation match, there is no argumentation antithesis in that aisle (effectively, bubbles "cancel"), authoritative it easier to chase argumentation states from one attribute to the next. This is frequently apparent in absolute argumentation diagrams - appropriately the clairvoyant charge not get into the addiction of advertence the shapes alone as OR or AND shapes, but additionally booty into annual the bubbles at both inputs and outputs in adjustment to actuate the "true" argumentation action indicated.
All argumentation relations can be accomplished by application NAND gates (this can additionally be done application NOR gates). De Morgan's assumption is best frequently acclimated to transform all argumentation gates to NAND gates or NOR gates. This is done mainly back it is accessible to shop for argumentation gates in aggregate and because abounding electronics labs banal alone NAND and NOR gates.
No comments:
Post a Comment