论文提出了一种功耗为零的技术。扇出和异或不是双射(它们不是从唯一的 x 到唯一的 y)。但两者都可以表示为单个可逆函数。扇出有额外的输入,而异或有额外的输出。垃圾:未用于函数的位。论文的基本定理:每个有限函数都可以通过将其嵌入更大的空间来表示为可逆实现。NAND 门 - 通用门。每个操作都可以使用多个 NAND 门来表示。可逆通用原语:我们通过构建 AND 门的可逆实现来获得 NAND 和 AND 门。布尔环:环就像一个具有 2 个运算的向量空间:加法和乘法。NAND 对于常规逻辑和可逆计算都是通用的。临时存储:存储和计算可以同时进行 - 这是该技术的一个新属性。每个可逆函数都可以表示为 theta 1、theta 2 和 theta 3 的组合。