早教吧作业答案频道 -->数学-->
利用主析取范式判断公式((p→q)∧p)→q类型
题目详情
利用主析取范式判断公式((p→q)∧p)→q类型
▼优质解答
答案和解析
P→Q
=~P∨Q
~Q→~P
=~(~Q)∨~P
=Q∨~P
=~P∨Q
(~P∨Q)∧(~P∨Q)=~P∨Q
为仅可满足式
当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真
=~P∨Q
~Q→~P
=~(~Q)∨~P
=Q∨~P
=~P∨Q
(~P∨Q)∧(~P∨Q)=~P∨Q
为仅可满足式
当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真
看了 利用主析取范式判断公式((p...的网友还看了以下：
如图，在第一象限内作射线OC，与x轴的夹角为30°，在射线OC上取点A，过点A作AH⊥x轴于点H． 2020-05-14 …
英语翻译范文正公读书南都学社,煮粟二升,作粥一器,经宿遂凝；以刀画为四块,早晚取二块,断虀数十茎小 2020-05-17 …
垄断竞争模式的特点是( )。A.市场上大小保险公司并存B.少数大保险公司在市场上取得垄断地位C.大垄 2020-05-22 …
英语翻译范文正公读书南都学舍,煮粟二升,做粥一器,经宿遂凝；以刀画为四块,早晚取二块,断齑数十茎啖 2020-06-21 …
如图，为了估算河的宽度，我们可以在河对岸选定一个目标点P，在近岸取点Q和S，使点P、Q、S共线且直 2020-07-24 …
如图，射线OC，与x轴的夹角为30o，在射线OC上取一点A，过点A作AH⊥x轴于点H．在抛物线y= 2020-07-31 …
过点P(4,1)的直线l交椭圆x^2/4+y^2/2=1于A,B两不同点,在线段AB上取点Q,满足 2020-08-02 …
请教一条普通逻辑的计算题为什么-(p∧q)与-p∨-q有矛盾关系啊?即“非（P联合Q）”与“非P析取 2020-12-05 …
如图,在正方形abcd边ab,bc,cd,da上分别取p,q,r,s,满足ap=cr,bq=ds,连 2020-12-09 …
已之三角形ABC的两边AB,AC的中边分别是M,N在BN的延长线上取点P,使NP=BN,在CM的延长 2020-12-17 …