[이산 수학] 다음 명제 공식은 동등하다.

& lt => ~ ~ (p q) v (~ PV (~ pvq))

& lt => (p q) v (~ PV ~ pvq)

& lt => (p q) v (~ pvq)

& lt => (PV (~ pvq)) (qv (~ pvq))

& lt => (PV ~ pvq) (qv ~ pvq)

& lt =>t (~ pvq)

& lt= & gt~PvQ

2. (p → q) (r → q)

& lt => (~ pvq) (~ rvq)

& lt => (~ p ~ r) VQ

& lt= & gt~(PvR)vQ

& lt= & gtPvR→Q