Teoremi digitalne logike

V prejšnjem poglavju smo spoznali pravila za negacije:

x · y = x + y

x+ y = x · y

Zvedeli smo:

  • negirani izraz lahko razstavimo na posamezne negirane komponente,
  • negacija operacije IN da operacijo ALI in nasprotno negacija operacije ALI da operacijo IN.

Zdaj bomo to dokazali v praktičnem primeru.