魏**
老师您好，就是我标注的这个地方，我有一些不明白，“-乙->甲”为什么转化后是“甲或乙”呢？“-乙->甲”的意思是“不要乙时，要甲”，但“甲或乙”的意思是“甲与乙当中至少要一个，甚至可能两个都要呀。
2022-11-17 11:43:17
综*****
老师
回答于 2022-11-17 12:21:19
-乙→甲的矛盾-乙且-甲，-乙且-甲的矛盾乙或甲，所以-乙→甲=乙或甲，这样推导而来的。可以直接记住结论使用，A→B=-A或B。
魏**
同学
那为什么要矛盾两遍，就这样“ -乙→甲的矛盾-乙且-甲”不就可以了吗？另外这个“ A→B=-A或B”，可不可以“ A→B=A或- B”
综*****
老师
回答于 2022-11-17 13:58:18
为什么会有-乙→甲=乙或甲，是因为-乙→甲的矛盾-乙且-甲，-乙且-甲的矛盾乙或甲。 A→B=-A或B，这个是结论，代替上面的甲和乙。
魏**
同学
老师您好，我一步一步算是这样的，最终结果是“-乙或甲”，到底是哪一步出了问题？
综*****
老师
回答于 2022-11-17 15:18:26
-（-乙→甲）=-乙且-甲
