[離散]邏輯

上課例題(97中興)：

第一行是題目，要求他的negation，

倒數第二行是自己最後求出來的解答，

最後一行是老師給的答案

想請問我的算法錯在哪裡呢？

上課例題(97臺大)：

if p then q else r

=(p→q)^(~p→r)

請問為什麼是中間是用^？？