[理工] [離散]邏輯

[b76516 (阿聰)]

請問一下一題邏輯
if p then q else r
恆等於（p->q)^(~p->r)
上式怎麼堆導到
（p^q)v(~p^r)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.230.126.103