Pretvorba iz logičnega vezja v pravilnostno tabelo

Zdaj, ko znamo rezultat logične funkcije iz pravilnostne tabele pretvoriti v logično vezje, si poglejmo obratni postopek. Kako torej logično vezje pretvorimo v logični izraz, katerega nato pretvorimo v pravilnostno tabelo, da dobimo rezultat logične funkcije.

Za primer vzemimo naslednje logično vezje:

Ko imamo logično vezje, lahko iz logičnega vezja izpeljemo logični izraz. Vedno začnemo na najbolj zunanjem nivoju logičnega vezja in se nato pomikamo nazaj, proti najbolj notranjemu nivoju. Vsak vhod v logična vrata predstavimo z logičnim izrazom, te logične izraze pa nato povezujemo z ustreznimi logičnimi operatorji. Ti so enaki, kot logična vrata, katerih logični izraz predstavljamo.

V nadaljevanju bo prikazano, kako iz gornjega logičnega vezja dobimo ustrezen logični izraz:

$((A \cdot \overline{B} \cdot C) \oplus (A \cdot B \cdot \overline{C})) + (\overline{(A \cdot B \cdot \overline{C}) + (\overline{B \cdot C})})$

Prej opisana pretvorba iz logičnega vezja v logični izraz je prikazana po korakih v naslednji interaktivni dejavnosti: