布尔函数
但是，只使用这两种逻辑门（非门和异或）并不能实现所有的布尔函数。如果要使用可逆逻辑门实现任意布尔函数，还需要额外的逻辑门。托瑪索·托佛利于1980年提出了 托佛利门。