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.