Lógica básica
No fundo, todo computador decide tudo com apenas duas respostas: verdadeiro e falso.
Decisões minúsculas que constroem tudo
Um computador não "entende" o mundo — ele só sabe responder perguntas de sim/não (1/0, verdadeiro/falso). A mágica é que, combinando muitas decisões simples com três operações básicas — E, OU e NÃO — dá para construir qualquer raciocínio, e literalmente qualquer circuito de uma CPU.
"Vou sair se não estiver chovendo E eu tiver tempo." Você usa lógica assim o tempo todo. O computador faz igual, só que com eletricidade.
Brinque com as portas lógicas
Clique em A e B para alternar entre 0 e 1, e troque a porta. A lâmpada mostra a saída, e a tabela verdade destaca a linha atual. Note como cada porta tem um "comportamento" próprio:
Experimente a NAND: ela é especial porque, combinando só portas NAND, é possível montar todas as outras — e, a partir delas, um computador inteiro.
As portas e suas tabelas verdade
- E (AND): só dá 1 quando as duas entradas são 1.
- OU (OR): dá 1 quando pelo menos uma entrada é 1.
- NÃO (NOT): inverte: 0 vira 1, 1 vira 0.
- XOR: dá 1 quando as entradas são diferentes.
- NAND / NOR: são E e OU "negados" (com um NÃO na saída).
Tudo são funções de verdadeiro/falso
Em código, as portas são apenas funções booleanas — e operações complexas se montam combinando-as:
função E(a, b): retorne a e b função OU(a, b): retorne a ou b função NAO(a): retorne não a # XOR ("ou exclusivo") montado a partir das outras: função XOR(a, b): retorne OU(a, b) e NAO(E(a, b))
Construa lógica a partir do zero
Mini projeto: escreva no papel a tabela verdade de A E (NÃO B) para todas as combinações de A e B.
Projeto principal: implemente E, OU e NAO como funções e depois construa XOR usando só elas.
Desafio extra: monte um "meio somador" — ele recebe dois bits e devolve a soma e o "vai um" (dica: soma = XOR, vai-um = AND).
Teste sua intuição
1 OU 0?
Onde você encontra isso
Condicionais (if)
Todo if (a && b) do seu código é lógica booleana pura.
A CPU
Somas e comparações na ALU são feitas com portas lógicas.
Máscaras de bits
Ligar/desligar configurações usa AND e OR sobre bits.
Validações
"Senha forte E e-mail válido" é uma combinação de condições.