顯然 X3∨X4,X3→X2,X4→X1 真,則X1∨X2真,但X1∨X2真,X3∨X4,X3→X2,X4→X1 可以不全為真.因此X1∨X2是X3∨X4,X3→X2,X4→X1的有效結(jié)論.
具體的證明可以利用真值表.
離散數(shù)學(xué)證明：X1∨X2是X3∨X4,X3→X2,X4→X1的有效結(jié)論
離散數(shù)學(xué)證明：X1∨X2是X3∨X4,X3→X2,X4→X1的有效結(jié)論
數(shù)學(xué)人氣：231 ℃時間：2020-05-26 01:00:39
優(yōu)質(zhì)解答
我來回答
類似推薦
- 離散數(shù)學(xué)：求與公式((X1→X2)→X3)→X4邏輯等價的主合取范式和主析取范式
- 已知X1+x2+X2+...+Xn=1,證明不等式：X1^2/（X1+X2）+X2^2/(X2+X3)+X3^2/(X3+X4)+.+Xn^2/(Xn+X1)>=1/2
- 證明|X1+X2+X3+X4+...+Xn＋X|>=|X|－（|X1|+|X2|+...+|Xn|）
- 設(shè)x1，x2，…，x12是任意互異的12個整數(shù)，試證明其中一定存在8個整數(shù)x1，x2，…，x8，使得：（x1-x2）×（x3-x4）×（x5-x6）×（x7-x8）恰是1155的倍數(shù)．
- 5.若x1、x2、x3、x4、x5滿足下列方程組：
- 經(jīng)過點（-2,0）,且與x軸垂直,這條直線的方程是?
- 如圖，A城氣象臺測得臺風(fēng)中心在A城正西方向320km的B處，以每小時40km的速度向北偏東60°的BF方向移動，距離臺風(fēng)中心200km的范圍內(nèi)是受臺風(fēng)影響的區(qū)域． （1）A城是否受到這次臺風(fēng)的影響？
- 我十一點半吃午飯 用英語怎么說
- 缺乏維生素A可能引發(fā)? A.夜盲癥 B.干眼病 C.腳氣病 D.大脖子病 急!
- 編一個應(yīng)用題,使列出的方程為500/x-500/x+2=2
- 123456789 三個數(shù)字為一組互相減 一組減另一組等于第三組
- 一輛汽車從甲地開往乙地,平均105km用了3小時,然后以每小時28km速度在山地行了2小時到達乙地
猜你喜歡
- 1Draw a picture for the place which you like best 的意思
- 2根號下6是不是最簡二次根式?根號下x+1是不是最簡二次根式呢?怎樣判定是不是最簡二次根式啊?
- 3英語翻譯
- 4寫瑞安的作文,寫民間習(xí)俗或景點（最好都寫）
- 5正方體、圓柱和圓錐的底面積相等，高也相等．如果圓柱的體積是1000立方厘米，圓錐的體積大約是_立方厘米；正方體的棱長是_厘米，圓柱的底面積是_平方厘米．
- 6白居易的《觀刈麥》中的“婦姑荷簞食”中的食是發(fā)第一聲還是第四聲?
- 7(-30)-(+28)-(-18)+(+14)-(-14)
- 8為什么當(dāng)指數(shù)是奇數(shù),負(fù)數(shù)的冪是負(fù)數(shù)
- 9x/(7.5+2.5)+(x-15)/(7.5-2.5)=9 怎么解
- 10以小見大的作文!急!
- 11糧店有150袋大米，第一天賣出2/5，第二天賣出第一天的2/3．還剩下多少袋？
- 12Did she buy presents for her mother last weekend?啥意思