Logické funkcie obvodovej algebry

Logický súčin (konjunkcia) f=a.b (a^b, a∩b, ab)

Zložený výrok f je pravdivý len vtedy, ak je pravdivý aj výrok a a súčasne aj výrok b.(AND

Kontakty a, b - vstupné nezávislé logické premenné a=1 - spojený kontakt a=0 - rozpojený kontakt f=1 - žiarovka svieti f=0 - žiarovka nesvieti

Žiarovka svieti vtedy a len vtedy, ak sú obidva kontakty a,b spojené.

Logický súčet (disjunkcia) f=a+b (avb, a∪b) Zložený výrok f je pravdivý vtedy, ak je pravdivý výrok a alebo výrok b: (OR)

Žiarovka svieti, ak je zapojený aspoň jeden z kontaktov a, b. Logická negácia f=Ā (a non; nie a) Výrok f je pravdivý, ak nie je pravdivý výrok a. Log. člen, ktorý realizuje funkciu logickej negácie, sa označuje ako člen NIE (INVERTOR, NEGÁTOR)

Žiarovka svieti, ak je kontakt a rozpojený a naopak.

Logický súčin, súčet a negácia tvoria úplný systém logických funkcií pomocou ktorých môžeme vyjadriť ľubovoľne zložité logické funkcie.