離散數學對偶式怎麼求

按照定義有在僅含聯結詞，非，^，ˇ的命題公式A中，將V替換成^，^替換成V，若A中含0或1，就將0換成1，1換成0，所得命題公式A*稱為A的對偶式，A和A*互為對偶式。

對偶式：對於任何一個邏輯式Y，若將其中的“·”換成“+”，“+”換成“·”，0換成1，1換成0，則得到一個新的邏輯式Y'，Y'就是Y的對偶式。顯然Y和Y'互為對偶式。

擴充套件資料：

在命題邏輯中的對偶式：在僅含有聯結詞與（∧）、或（∨）、非（┐）的命題公式A中，將∨換成∧，∧換成∨，若A中還含有0或1，則還需將其中的0換成1，1換成0，，所得到的新命題公式A*就是A的對偶式。例如，命題公式A=┐(P∧0)的對偶式A*=┐(P∨1)。

若兩個邏輯函式表示式F和G相等，則其對偶式F'和G'也相等。這一規則稱為對偶規則。根據對偶規則，當已證明某兩個邏輯表示式相等時，便可知道它們的對偶式也相等。例如，已知AB+AC+BC=AB+AC。