Упрощение логического выражения

Как бы вы упростили это логическое выражение? Я не знаю, как применять булевы законы со знаком импликации.

(pq -> r)'

а также

(p -> (q'r))'


boolean boolean-operations boolean-expression
person user1647008    schedule 19.02.2013    source источник
comment
См. это: stackoverflow.com/questions/1823168/boolean-implication   -  person 500 - Internal Server Error    schedule 19.02.2013

Ответы (1)


arrow_upward
1
arrow_downward

Следующее правило следствия указано в википедии или любой другой книге, связанной с логикой:

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

поэтому, когда вы применяете правила к своим примерам, пошаговое решение будет таким:

((pq)' + r)'

распределите внешнее отрицание (2 отрицания компенсируют друг друга, а отрицание дизъюнкции является конъюнкцией): дает pqr'

(pq -> r)' = pqr'

ваш второй пример выполним, когда вы поймете этот ответ, поэтому я оставлю его вам :)

person Varaquilex    schedule 22.02.2013