如何用 3 个与非门实现 A'B + AB'D?

How to implement A'B + AB'D with 3 nand gates?

我用 k 图简化了函数 F = (A+B)(A'+ D')(A' + B') 并将其缩小为 A'B + AB'D 。但是,我找不到如何将其简化为(最多)3 个与非门。

简化表达式为:

F = A' B  + A B' D'

卡诺图:

转化为与非门:

F = NAND2(NAND2(A', B), NAND3(A, B', D'))

如果需要,由于

,可以通过NAND门创建反向输入
X' = NAND2(X, X)