離散數學數理邏輯的一個題目 某電路中有一個燈泡和三個開關A,B,C.已知在且僅在下述四種情况下燈亮: (1)C的扳鍵向上,A,B的扳鍵向下. (2)A的扳鍵向上,B,C的扳鍵向下. (3)B,C的扳鍵向上,A的扳鍵向下. (4)A,B的扳鍵向上,C的扳鍵向下. 設F為1表示燈亮,p,q,r分別表示A,B,C的扳鍵向上. (a)求F的主析取範式. (b)在聯結詞完備集{┐,∧}上構造F. (c)在聯結詞完備集{┐,→,}上構造F.

離散數學數理邏輯的一個題目 某電路中有一個燈泡和三個開關A,B,C.已知在且僅在下述四種情况下燈亮: (1)C的扳鍵向上,A,B的扳鍵向下. (2)A的扳鍵向上,B,C的扳鍵向下. (3)B,C的扳鍵向上,A的扳鍵向下. (4)A,B的扳鍵向上,C的扳鍵向下. 設F為1表示燈亮,p,q,r分別表示A,B,C的扳鍵向上. (a)求F的主析取範式. (b)在聯結詞完備集{┐,∧}上構造F. (c)在聯結詞完備集{┐,→,}上構造F.


設扳上用字母ABC表示,扳下用否定表示.(a)(┐A∧┐B∧C)∨(A∧┐B∧┐C)∨(┐A∧B∧C)∨(A∧B∧┐C)(b)記(┐A∧┐B∧C)=P,(A∧┐B∧┐C)=Q,(┐A∧B∧C)=R,(A∧B∧┐C)=S,由於P∨Q=┐(┐P∧┐Q),所以P∨Q∨R∨S=┐(┐P…



在實數的原有運算法則中
在實數的原有運算法則中,我們補充新的運算法則“*”,如下:當a>=b時,a*b=b的平方;當a<b時,a*b=a,則當x=2時,(1*x)乘以x-(3*x)=?


當x=2時,
因為12,所以3*x=3*2=2^2=4,
x-(3*x)=2-4=-2
故(1*x)*[ x-(3*x)]=1*(-2)=(-2)^2=4