Logična vrata smo spoznali v prejšnji učni enoti, v tej učni enoti pa smo spoznali, kako lahko različna logična vrata povežemo med seboj, da dobimo logično vezje.
Izkaže se, da lahko v poljubnem logičnem vezju vsa logična vrata nadomestimo s kombinacijo logičnih vrat NE-IN (ang. NAND), zato logična vrata NE-IN imenujemo tudi univerzalna logična vrata.
V nadaljevanju bomo preverili, ali lahko vsako izmed osnovnih logičnih vrat, ki smo jih spoznali v prejšnji učni enoti, izrazimo kot logični izraz oziroma logično vezje, ki vsebuje samo logična vrata NE-IN.
Začnimo z logičnimi vrati NE, ki jih lahko izrazimo kot: $$\overline{x} = \overline{x \cdot x}$$
Logična vrata IN lahko izrazimo kot: $$x \cdot y = \overline{\overline{(x \cdot y)} \cdot \overline{(x \cdot y)}}$$
Logična vrata ALI lahko izrazimo kot: $$x + y = \overline{\overline{(x \cdot x)} \cdot \overline{(y \cdot y)}}$$
Logična vrata NE-ALI lahko izrazimo kot: $$\overline{x + y} = \overline{\overline{(\overline{(x \cdot x)} \cdot \overline{(y \cdot y)})} \cdot \overline{(\overline{(x \cdot x)} \cdot \overline{(y \cdot y)})}}$$
Logična vrata izključujoči ALI lahko izrazimo kot: $$x \oplus y = \overline{\overline{(x \cdot \overline{(x \cdot y)})} \cdot \overline{(y \cdot \overline{(x \cdot y)})}}$$
Logična vrata izključujoči NE-ALI lahko izrazimo kot: $$x \equiv y = \overline{\overline{(\overline{(x \cdot \overline{(x \cdot y)})} \cdot \overline{(y \cdot \overline{(x \cdot y)})})} \cdot \overline{(\overline{(x \cdot \overline{(x \cdot y)})} \cdot \overline{(y \cdot \overline{(x \cdot y)})})}}$$
Prav tako se izkaže, da so univerzalna logična vrata tudi vrata NE-ALI (ang. NOR). Za vajo poizkusi izraziti vsa druga logična vrata z logičnimi vrati NE-ALI.