简化布尔表达式

Question

您如何简化此布尔表达式？我不知道如何应用带有蕴涵符号的布尔定律。

（pq - ＆gt; r）'

和

（p - >;（q'r））'

Answer 1

蕴涵规则如wikipedia或任何其他与逻辑相关的书中所述如下：

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

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

((pq)' + r)'

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

(pq -> r)' = pqr'

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