Collega un circuito logico funzionante utilizzando un singolo elemento costitutivo, l'umile porta NAND, e dimostra che corrisponde alle specifiche.
Come giocare
Ogni livello ti fornisce una serie di input e una specifica booleana di destinazione. Il tuo compito è assemblare un circuito che produca l'output corretto per ogni possibile combinazione di input, utilizzando solo porte NAND.
Premi Aggiungi NAND, quindi fai clic su due nodi sorgente (un input o un gate esistente) per cablare i suoi due input.
Scegli quale nodo è l'uscita del circuito con Imposta come uscita.
Un'imbracatura con tabella della verità in tempo reale confronta il tuo circuito con l'obiettivo, riga per riga: abbina ogni riga per vincere.
Ti viene assegnato un punteggio in base al numero di porte rispetto al par del livello, quindi più stretta è la tua build, meglio è.
Controlli
Desktop: fare clic su Aggiungi NAND, quindi fare clic sui nodi per collegarli; fare clic su un nodo e Imposta come output; Suggerimento costruisce automaticamente un passaggio.
Telefono e tablet: tocca gli stessi pulsanti e tocca i nodi da collegare: completamente touch-friendly.
Suggerimenti e strategia
Ricorda che una NAND è semplicemente un AND invertito: alimentare lo stesso nodo in entrambi gli input ti dà un NOT.
Riutilizza le porte esistenti come input condivisi per rimanere sotto il par invece di ricostruire le sottoespressioni.
Osserva la tabella della verità mentre telegrafi; inseguire le righe ancora non corrispondenti.
Cosa imparerai
Truthgate trasforma la progettazione della logica digitale in un puzzle di costruzione e verifica, mostrando come ogni porta possa essere costruita da NAND.
Competenze: logica digitale, porte logiche, completezza funzionale, progettazione circuitale
Ideale per: all'incirca classi 9-12 (dai 14 anni in su)
Per genitori e insegnanti: logica digitale solo dalla NAND.
Origini
Una specifica booleana bersaglio e un insieme di ingressi sono la forma standard di un problema di progettazione di circuiti, formulato in algebra di Boole e verificato con una tabella di verità.
Esigere l'uscita corretta per ogni combinazione di ingressi, non solo per quelle a cui hai pensato, è qui la disciplina originale.
Quell'esaustività è ciò che separa la logica dall'intuizione. Un circuito che funziona nei casi che hai provato è il bug più comune sia nell'hardware sia nel software, e l'unico rimedio è una specifica che enumeri tutto: il che, per n ingressi, significa 2ⁿ righe, ed è il motivo per cui le tabelle crescono così in fretta.
A proposito di Truthgate
Truthgate trasforma la progettazione della logica digitale in un puzzle di costruzione e verifica: la NAND è funzionalmente completa, quindi ogni funzione booleana può essere creata solo da essa. È un browser game originale e gratuito con un livello giornaliero basato su date e una campagna di allenamento infinita.
