Bu devrelerde elemanlar hafıza (memory) içerirler. Ardışıl devre olarak adlandırılırlar. Saat darbeleri (clock pulses) ile çalışırlar. Eşzamanlı (senkron) ve eşzamanlı olmayan (asenkron) olmak üzere iki tipleri vardır. Eşzamanlı olanlar saat darbeleri ile çalışırlar, eşzamanlı olmayanlar ise giriş büyüklüğünün devreye ulaşması ile yeni çıkış değerlerini alırlar.

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.

Karnaugh haritası ya da kısaca K - haritası, sadeleştirme tekniği daha kısa olan ve mantık denkleminin doğruluk tablosundan denklemin en özdeleşmiş şeklini veren kestirme bir yöntemdir.

K - haritası, doğruluk tablosunun değiştirilmiş halidir. Doğruluk tablosunda olduğu gibi, bağımlı değişkenleri bağımsız değişkenlerin bir fonksiyonu olarak gösterir. Ancak K - haritasının düzenlenişi, bağımlı değişkenleri incelediğimizde sadeleştirmenin mümkün olup olmayacağını anlayabileceğimiz şekildedir. Eğer sadeleştirme mümkünse, K - haritasının yapılanışı en sade mantık denklemini elde etmemizi sağlayacak tarzdadır. K - haritaları, mantık denklemindeki bağımsız değişkenlerin sayısına göre sınıflandırılır.