[離散數學]邏輯

老師說

Resolution rule只有一方向對

EX:[(a or b) and (not a or c)] -> b or c

那這題是不是不應該這樣解?因為他符號是用"等價"但resolution 並不是等價

而且(p' or q) and(r' or s)and(p or r)也應該是保(q or s)

而不是紅色畫的 (q and s)

是這樣吧?