Truth function: Difference between revisions

Revision as of 16:46, 7 March 2023

Revision as of 14:46, 24 May 2023

Line 292:

== Computer science ==

Logical operators are implemented as [[logic gate]]s in [[digital circuit]]s. Practically all digital circuits (the major exception is [[DRAM]]) are built up from [[logical nandNAND|NAND]], [[logical norNOR|NOR]], [[negation|NOT]], and [[logic gate|transmission gates]]. NAND and NOR gates with 3 or more inputs rather than the usual 2 inputs are fairly common, although they are logically equivalent to a cascade of 2-input gates. All other operators are implemented by breaking them down into a logically equivalent combination of 2 or more of the above logic gates.

The "logical equivalence" of "NAND alone", "NOR alone", and "NOT and AND" is similar to [[Turing equivalence (theory of computation)|Turing equivalence]].