Podemos exemplificar, através de circuitos eletrônicos, como a estrutura algébrica da Lógica pode ser útil na solução dos problemas das Ciências da Computação.
Na eletrônica, chamamos chave ou interruptor ao dispositivo ligado a um ponto de um circuito elétrico que pode assumir um dos dois estados: fechado ou aberto.Designamos a chave por uma letra, por exemplo, p, e quando ela está aberta a corrente não atravessa o circuito. Por outro lado, quando a chave encontra-se fechada, a corrente atravessa livremente o circuito. Por convenção, adota-se o valor F para a chave aberta e V para a chave fechada, conforme ilustra a figura. Dado o circuito, qual a expressão lógica que determina o comportamento do circuito para o acendimento da lâmpada L? Determine pela tabela da verdade as situações em que a lâmpada não se acende.