简化布尔表达式

Question

如何简化此布尔表达式？我不知道如何应用具有暗示符号的布尔法则。

（PQ - > R） '

和

（对 - >（q'r））'

Answer 1

言下之意规则是如wikipedia或说明的任何其他相关书如下逻辑：

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

因此

，当您将规则应用于你的例子，一步一步的解决办法是：

((pq)' + r)'

分发外否定（2个否定相互抵消和脱节的否定是一起）：收益率pqr'

(pq -> r)' = pqr'

你的第二个例子是可行的，当你知道这个答案，所以我将留给你:)