Truthgate

Cada nível fornece um conjunto de entradas e uma especificação booleana de destino. Seu trabalho é montar um circuito que produza a saída correta para cada combinação possível de entradas, usando apenas portas NAND.

• Pressione Adicionar NAND e clique em dois nós de origem (uma entrada ou uma porta existente) para conectar suas duas entradas.
• Escolha qual nó é a saída do circuito com Set as Output.
• Um equipamento de tabela verdade ao vivo verifica seu circuito em relação ao alvo, linha por linha – combine cada linha para vencer.
• Você é pontuado na contagem de portões em relação ao par do nível, então quanto mais compacta for sua construção, melhor.

• Desktop: clique em Adicionar NAND e, em seguida, clique em nós para conectá-los; clique em um nó e Definir como saída; A dica cria automaticamente uma etapa.
• Telefone e tablet: toque nos mesmos botões e nos nós para conectar - totalmente amigável ao toque.

• Lembre-se de que um NAND é apenas um AND invertido – alimentar o mesmo nó em ambas as entradas fornece um NOT.
• Reutilize portas existentes como entradas compartilhadas para permanecer abaixo da média, em vez de reconstruir subexpressões.
• Observe a tabela verdade enquanto você conecta; persiga as linhas que ainda estão incompatíveis.

Truthgate transforma o design lógico digital em um quebra-cabeça de construção e verificação, mostrando como cada porta pode ser construída a partir de NAND.

• Habilidades: lógica digital, portas lógicas, completude funcional, projeto de circuitos
• Melhor para: aproximadamente 9ª a 12ª série (maiores de 14 anos)
• Para pais e professores: lógica digital somente da NAND.

Uma especificação booleana-alvo e um conjunto de entradas é a forma-padrão de um problema de projeto de circuitos, enunciado em álgebra booleana e verificado com uma tabela-verdade.

Exigir a saída correta para todas as combinações de entrada, e não só para as que você imaginou, é a disciplina original aqui.

Essa exaustividade é o que separa a lógica da intuição. Um circuito que funciona nos casos que você testou é o bug mais comum tanto em hardware quanto em software, e a única cura é uma especificação que enumere tudo — o que, para n entradas, significa 2ⁿ linhas, e é por isso que as tabelas crescem tão depressa.

O Truthgate transforma o projeto lógico digital em um quebra-cabeça de construção e verificação: o NAND é funcionalmente completo, portanto, cada função booleana pode ser criada somente a partir dele. É um jogo de navegador original e gratuito, com um nível diário definido por data e uma campanha de prática sem fim.

Um jogo original e gratuito no seu navegador — sem downloads. Ver todos os jogos →