Bắt đầu với một cổng NAND khiêm tốn và xây dựng lại tất cả logic boolean, từng cổng một, cho đến khi bạn có thể khớp với bất kỳ bảng chân lý nào.
Trên bàn làm việc nối dây, bạn đặt các cổng, kết nối các cổng của chúng và nhằm mục đích làm cho đầu ra tái tạo một bảng chân lý đích. Chiến dịch đi theo cây công nghệ: xây dựng KHÔNG từ NAND, sau đó AND, OR và XOR từ các cổng bạn đã mở khóa, trước cấp mục tiêu dạng tự do cuối cùng.
Gatecraft dạy về tính hoàn thiện về mặt chức năng - cách mọi cổng logic có thể được xây dựng chỉ từ NAND - một ý tưởng sâu sắc có thể chơi được.
Đặt các cổng, nối dây các cổng vào ra và làm cho đầu ra tái tạo một bảng chân lý mục tiêu là nền tảng của điện tử số, và dựa trên đại số Boole — logic đúng và sai thế kỷ mười chín của George Boole, thứ hóa ra mô tả được các mạch điện.
Đi lên một cây công nghệ từ các cổng logic đơn giản đến những linh kiện lớn hơn phản ánh cách chính lĩnh vực này được giảng dạy và xây dựng.
Bảng chân lý là lý do điều này khả thi. Nó đặc tả hành vi một cách trọn vẹn mà không nói gì về cách hiện thực hóa, nên cùng một mục tiêu có thể được đáp ứng bởi nhiều mạch — và so sánh chúng là nơi ý tưởng về hiệu quả xuất hiện.
Gatecraft dạy về tính hoàn thiện về mặt chức năng - cách mọi cổng logic có thể được bắt nguồn từ NAND. Đây là một câu đố trình duyệt miễn phí, độc đáo được xây dựng nội bộ cho PlayPendium.