几个NAND/NOR门可以表示一个XOR门？

这段时间就是在看测试相关的东西，无意之中发现了ISCAS85中有个名词EXOR，愣了一下反应过来应该还是异或门，毕竟叫exclusive-OR gate，其中文档中还提到了一句一个异或门可以由四个与非门（NAND）表示。随手一画，直觉上就是一个逆推的过程，即，用门电路表示为：

但是这样需要用到5个门，实际上有一种结构只需要4个门，如下所示：

当然，异或也可以由或非门（NOR）来表示，有两种结构，无论哪一种都需要五个或非门。