Siano A e B due numeri di 4 bit: A₃ A₂ A₁ A₀
e
B₃ B₂ B₁ B₀ Per stabilire se A > B si devono verificare le seguenti condizioni:

(A₃ > B₃)
Oppure:
(A₃ = B₃) AND (A₂ > B₂)
Oppure:
(A₃ = B₃) AND (A₂ = B₂) AND (A₁ > B₁)
Oppure:
(A₃ = B₃) AND (A₂ = B₂) AND (A₁ = B₁) AND (A₀ > B₀)


Queste condizioni sono soddisfatte della seguente espressione:

A > B =  
A3·(not)B3 + 
(A3⊕B3)·A2·(not)B2 +
(A3⊕B3)·(A2⊕B2)·A1·(not)B1 +
(A3⊕B3)·(A2⊕B2)·(A1⊕B1)·A0·(not)B0

La condizioneA < B è soddisfatta scambiando le variabili A e B nell'espressione precedente:

A < B =  
B3·(not)A3 + 
(B3⊕A3)·B2·(not)A2 +
(B3⊕A3)·(B2⊕A2)·B1·(not)A1 +
(B3⊕A3)·(B2⊕A2)·(B1⊕A1)·B0·(not)A0

La condizione A = B è soddisfatta dalla seguente espressione booleana:

A = B =  
(A3⊕B3)·(A2⊕B2)·(A1⊕B1)·(A0⊕B0)