Logikai áramkör, amely a logikai függvényeket diszjunktív normál alakban állítja elő. Pl. ekvivalencia (két változóra nézve) diszjunktív normál alakja: F = AB + AB
