boolean - ブール式の簡略化

Question

このブール式をどのように単純化しますか？含意記号を使用してブール法を適用する方法がわかりません。

（pq-> r） '

と

（p->（q'r）） '

Answer 1

ウィキペディアまたは論理に関連する他の本に記載されているように、含意規則は次のとおりです。

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

したがって、例にルールを適用する場合、段階的な解決策は次のようになります。

((pq)' + r)'

外側の否定を分配します (2 つの否定は互いに打ち消し合い、選言の否定は結合です): yieldspqr'

(pq -> r)' = pqr'

あなたがこの答えを理解すれば、あなたの2番目の例は実行可能ですので、私はあなたに任せます:)