In de digitale regelkunde wordt gebruik gemaakt van logische functies, met name de EN-functie, de OF-functie en de NIET-functie. Je ziet hier bij elk van die poorten de bijbehorende waarheidstabel en het IEC-symbool.
EN | OF | NIET | NIET | ||
`A` | `B` | `A*B` | `A+B` | `bar(A)` | `bar(B)` |
`0` | `0` | `0` | `0` | `1` | `1` |
`0` | `1` | `0` | `1` | `1` | `0` |
`1` | `0` | `0` | `1` | `0` | `1` |
`1` | `1` | `1` | `1` | `0` | `0` |
Bij het werken met dergelijke combinaties geldt de rekenvolgorde: eerst NIET, dan
EN en vervolgens OF.
Verder zijn er de rekenregels van De Morgan:
`A+B=B+A` en `A*B=B*A` .
`A*(B*C)=(A*B)*C` en `A+(B+C)=(A+B)+C` .
`A*(B+C)=A*B+A*C` en `A+(B*C)=(A+B)*(A+C)` .
Met behulp van waarheidstabellen kun je deze regels van De Morgan controleren.
Verder gebruik je die om samengestelde schakelfuncties te vereenvoudigen en/of de
werking ervan te begrijpen.