离散数学 - 如何表达由 AND、OR 和 NOT 组成的布尔表达式，仅使用 AND 和 NOT

Question

假设我有以下布尔表达式：

(A^B^C) v (~A^~C)

我怎么能只用 AND （^） 而不是 NOT （~） 来表达呢？我不想要答案，只是我该怎么做。

Answer 1

由于这个问题显示为未回答，我将回应其他问题并说德摩根定律(A v B) == ~(~A ^ ~B)将起作用。