过度休息时，我们被告知要自己教授自己的数字逻辑，并且我在教授提出的一个问题上遇到了困难。以下真值表用于实现这些问题：
Truth Table to Implement:
A B C D | E
------------------------------------
0 0 0 0 | 1
0 0 0 1 | 1
0 0 1 0 | 1
0 0 1 1 | 1
0 1 0 0 | 0
0 1 0 1 | 1
0 1 1 0 | 0
0 1 1 1 | 0
1 0 0 0 | 1
1 0 0 1 | 0
1 0 1 0 | 1
1 0 1 1 | 1
1 1 0 0 | 1
1 1 0 1 | 0
1 1 1 0 | 0
1 1 1 1 | 1
使用卡诺图，我能够发现这个真值表的等式是：
E = (¬A ∧ ¬B)∨(¬A ∧ ¬C ∧ D)∨(A ∧ ¬C ∧ ¬D)∨(A ∧ C ∧ D)∨(A ∧ ¬B ∧ C)
从那时起，我应用DeMorgan的法律获取一个仅包含NOT和AND的布尔语句，如下所示：
E = ¬(A ∧ ¬C ∧ D) ∧ ¬(¬A ∧ B ∧ C) ∧ ¬(¬A ∧ B ∧ ¬D) ∧ ¬(B ∧ C ∧ ¬D)
现在第三步是我陷入困境，这是修改前一个表，将所有逻辑连接词转换为仅NAND。我知道NAND将是AND的反向输出，例如：
A B | A AND B | A NAND B
-----------------------------------------------
0 0 | 0 | 1
0 1 | 0 | 1
1 0 | 0 | 1
1 1 | 1 | 0
我怎么能将这个概念应用到提供的真值表中呢？