Um circuito digital emprega um conjunto de funções lógicas, em que função é a relação existente entre a variável independente e a variável dependente (função), assim como aprende-se na matemática.

O conjunto de valores que uma variável pode assumir depende das restrições ou especificações do problema a ser resolvido.

Para cada valor possível da variável dependente, determina-se o valor da função.

As variáveis lógicas podem assumir somente um de dois valores possíveis; os seus valores são expressos por afirmações declarativas, ou seja, cada valor está associado a um significado; os dois valores possíveis das variáveis são mutuamente exclusivos.

Em geral, usa-se uma faixa de tensão em volts compatível com os circuitos digitais utilizados para representar o valor falso ou verdadeiro de uma variável lógica.