从与非门到俄罗斯方块

背景 让我们按照 From Nand to Tetris 里 Project 2 的要求，来完成相关的设计。

如果一个二元运算符同时满足 交换律(Commutative property) 和 结合律(Associative property)，那么我们就可以随意交换操作数的顺序，而不影响最终结果

只用 Nand 运算符就可以表示任意的布尔函数，让我们按照 From Nand to Tetris 里 Project 1 的要求，来完成一些具体的设计

任何布尔函数都可以用只包含 Nand 运算符的表达式表示。本文用四个步骤来证明这个结论。第一步是证明所有的布尔函数都可以用 DNF 表示。