1樓：匿名使用者
你的真值形式打錯了吧，是不是應該為((p→q)∧q)→p呀？
不然無法列出真值表，你的問題無法回答。
用真值表判明下列公式屬於重言式、矛盾式還是協調式?(pv乛 p)^p^q
2樓：唐吳一家
做它的真值表所以，（p∧﹁p）∨（p∧q）是協調式。
用真值表判斷是否重言式[(p→q)∧￢p]→(q∧￢p)？
3樓：琉璃蘿莎
你的真值形式打錯了吧，是不是應該為((p→q)∧q)→p呀？
不然無法列出真值表，你的問題無法回答。
如何判定((p→q)∨(r→s))→((p∨r)→(q∨s))為重言式、永假式還是可滿足的，分數不太多，給我幫幫忙謝了
4樓：匿名使用者
判定其型別的方法就是利用命題公式的真值表。當p,q,r,s分別取0,1時，若真值表最後一列全為1，則對應的命題公式為重言式；若最後一列全為0，則對應的命題公式為永假式；若最後一列既有0又有1，則對應的命題公式為可滿足式。例如就拿((p→q)∨(r→s))→((p∨r)→(q∨s))這個來說，
p q r s p→q r→s (p→q)∨(r→s) p∨r q∨s (p∨r)→(q∨s) 結果
0 0 0 0 1 1 1 0 0 1 1
0 0 0 1 1 1 1 0 1 1 1
0 0 1 0 1 0 1 1 0 0 0
下面就不一一列舉了，從最後的結果這一列中既有1又有0可得出命題公式((p→q)∨(r→s))→((p∨r)→(q∨s))為可滿足式。
（（p蘊涵q）且（r蘊涵s）)或(p或r)蘊涵（q或s）用簡化真值表法判斷是否為重言式？
5樓：眷戀
你好，問一下用真值表來驗證（（p→q）∧p）├q是否為有效式詳解
用列真值表的方法證明分配律A B C（A BA C）？求詳細過程，老師點名要講，出100分
a b c a b c a b a c 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 由上面真值表可以發 專現，屬a b c a b a c 邏輯代數的分配律a bc a b a c 怎...
下圖所示電路，寫出其邏輯表示式，列出其真值表並分析邏輯功能
與非門。1 邏輯表示式 f ab ac bc a b c 2 邏輯功能 a b c沒有輸入時，f沒有輸出 a b c有任意輸入時，f有輸出 3 真值表 組合邏輯電路如圖所示，寫出其邏輯表示式，化簡，列出真值表並分析邏輯功能。y ab a b ab a b a b y 0 0 1 0 1 0 1 0 ...
一位二進位制全減器真值表怎麼得到啊，死活看不懂啊，哪位好心的大
最簡單的全減器是採用本位結果和借位來顯示，二進位制中是借一當二，所以可以使用兩個輸出變數的高低電平變化來實現減法運算。同時，全減器可以採用74ls138三線 八線譯碼器實現。全減器真值表如下 其中ai表示被減數，bi表示減數，di表示本位最終運算結果，即就是低位向本位借位最終結果，ci表示低位是否向...