Bu teorem üç temel fonksiyonla ilişkilidir: VE, VEYA ve DEĞİL. Bu teorem
devre şeklini VEDEĞİL ve VEYADEĞİL mantığına değiştirdiği için önemlidir.
Şekildeki 4 devre, DeMorgan kanununu göstermektedir. a devresi basit
bir iki girişli VE devresidir ve b'deki devre bir VEYADEĞİL kapısı ve
bir DEĞİL kapısıyla oluşturulan eşlenik devresidir. VEYADEĞİL kapısının
girişlerinden herhangi biri mantık 1 durumunda olursa, kapının çıkışı
mantık 0 durumunda olacaktır. Bu mantık benzer şekilde b devresine de
uygulanırsa, A veya B mantık 1 durumundaysa, VE kapısının çıkışı mantık
0 durumunda olacaktır. Aşağıdaki doğruluk tablosu DeMorgan Kanunu'nu a
ve b devreleri için ispatlamaktadır.
DeMorgan teoremi:
İki ya da daha fazla değişkenin mantıksal toplamlarının tersi, bu
değişkenlerin terslerinin mantıksal çarpımlarına eşittir. Tersi olarak
da; iki ya da daha çok değişkenin mantıksal çarpımlarının tersi, bu
değişkenlerin terslerinin mantıksal toplamına eşittir.