Logic 布尔代数简化需要帮助

我必须证明（！p.！Q+R）（！Q+p.！R）=>！通过使用德摩根定律简化它。 这是我所做的，但我不确定它是否正确

（！p.！Q+R）（！Q+p.！R）=>！Q

（！p+！Q+R）（！Q+p.！R）

！PQ+！P.P。！R+！QQ+！Q.P。！R+R。！Q+R.P。！R

！PQ+0+！Q+！Q.P。！Q+R。！Q+0

！PQ+！Q+！Q（1+P.！R+R）

！PQ+！Q+！Q

！Q+！PQ

！Q（1+！P）

！Q

---

希望这足够清楚。

您是如何从

开始的！PQ

在

的第一行！P+！Q

关于第二条？德摩根定律！（P.Q）=！P+！Q、 我做错了吗？

！（！P.！Q）=P+Q

或

！（P.Q）=！P+！Q

，而不是

！PQ=！P+！Q

。考虑< <代码> p＝1 < /代码>，<代码> q＝0 < /代码> ->代码>！PQ=0，但是

！P+！Q=1

。好的，谢谢，我再做一次。仅供日后参考！（P.Q）不同于P.Q，不像P.Q上面的那一行，我不知道怎么打出来。嗯，我不知道怎么打出来，但在第一行是！（P.Q）而不是！P我想，它是P.Q否定的，就像上面的一行一样，那么我的下一行不是正确的吗？