7-4替代規則（部分舉例以真值表證明之）.docVIP

7-4替代規則（部分舉例以真值表證明之） 雙重否定律：Rule of Double Negation。簡稱：D.N. P P 換位律：Commutation rule。簡稱：Com.。 P Q Q P P Q Q P 結合律：Rule of Association。簡稱：Assoc. P Q R P Q R P Q R P Q R 4 複衍律：Duplication rule。簡稱：Dup. P P P P P P 5 異質位換定律：Rule of Contraposition。簡稱：Contrap. P Q Q→ P P Q P Q Q→ P 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 例如1：：： 6 笛毛根定理：DeMorgans Theorem。簡稱：DeM. P Q P Q P Q P Q P Q P Q P Q 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 1 1 例如1： ： ： 7 雙條件互換律：Rule of Biconditional Exchange。簡稱：B.E. P Q P→Q Q→P