Hubungkan sirkuit logika yang berfungsi menggunakan satu blok penyusun — gerbang NAND yang sederhana — dan buktikan bahwa sirkuit tersebut cocok dengan spesifikasi.
Setiap level memberi Anda serangkaian input dan spesifikasi target Boolean. Tugas Anda adalah merakit sirkuit yang menghasilkan keluaran yang benar untuk setiap kemungkinan kombinasi masukan, hanya menggunakan gerbang NAND.
Truthgate mengubah desain logika digital menjadi teka-teki pembuatan dan verifikasi, yang menunjukkan bagaimana setiap gerbang dapat dibangun dari NAND.
Spesifikasi Boolean sasaran dan sekumpulan masukan adalah bentuk standar soal desain rangkaian, yang dinyatakan dalam aljabar Boolean dan diperiksa terhadap tabel kebenaran.
Mewajibkan keluaran yang benar untuk setiap kombinasi masukan, bukan hanya yang terpikirkan oleh Anda, adalah disiplin orisinal di sini.
Kelengkapan itulah yang memisahkan logika dari intuisi. Rangkaian yang berhasil pada kasus-kasus yang Anda coba adalah bug paling umum dalam perangkat keras maupun perangkat lunak, dan satu-satunya obatnya adalah spesifikasi yang mendaftar segalanya — yang untuk n masukan berarti 2ⁿ baris, itulah sebabnya tabel-tabel itu tumbuh begitu cepat.
Truthgate mengubah desain logika digital menjadi teka-teki pembuatan dan verifikasi: NAND secara fungsional lengkap, sehingga setiap fungsi Boolean dapat dibuat hanya dari NAND. Ini adalah game browser orisinal dan gratis dengan level harian unggulan dan kampanye latihan tanpa akhir.