boolean - 简化布尔表达式

Question

你将如何简化这个布尔表达式？我不知道如何应用带有暗示符号的布尔定律。

(pq -> r)'

和

(p -> (q'r))'

Answer 1

暗示规则如下，如维基百科或任何其他与逻辑相关的书籍中所述：

p -> q = p' + q (not p or q)

因此，当您将规则应用于示例时，分步解决方案将是：

((pq)' + r)'

分配外部否定（2个否定相互抵消，析取的否定是合取）：产生pqr'

(pq -> r)' = pqr'

当你理解这个答案时，你的第二个例子是可行的，所以我会把它留给你:)