[理工] 離散 104交大資訊聯招

[jerry900287 (滷蛋)]

問題如圖 http://imgur.com/a/Ahg5E


看不太懂題目的意思,

尤其是weakest condition, weakest formula 和 F(≠Q(a,b))

有大大可以幫我解釋整題在幹嘛嗎QQ

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.32.75.152
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1479055625.A.D61.html
→ a15151616: 找最簡單的條件F 使F->Q(A,B)
→ a15151616: 不可以直接寫Q(A,B)->Q