Comparatorul

**Definiţie**:Comparatorul digital este un CLC care permite determinarea valorii relative a două numere binare X şi Y. Mărimile de intrare sunt cei n biţi ai fiecăruia dintre cele două numere, iar cele trei ieşiri au rolul de a indica relaţia care este adevărată: X = Y; X > Y; X < Y. În cazul a două numere X şi Y de doi biţi (X 1 X 0 ) şi (Y 1 Y 0 ), putem obţine următoarele trei funcţii: Vor fi 4 variabile de intrare (X 1 X 0 Y 1 Y 0 ) şi trei variabile de ieşire A, B, C. Tabelul de adevăr este:
 * X ** 1 ** X ** 0 ** = Y ** 1 ** Y ** 0 **, ieşirea B este adevărată **
 * X ** 1 ** X ** 0 ** > Y ** 1 ** Y ** 0 **, ieşirea A este adevărată **
 * X ** 1 ** X ** 0 ** < Y ** 1 ** Y ** 0 **, ieşirea C este adevărată. **

Funcţiile booleene pentru ieşirile A, B, C pot fi deduse din tabelul de adevăr şi pot fi implementate cu porţi logice sau cu DMUX (deoarece în expresiile funcţiilor apar termenii canonici).