Chapter 4 - Replacement Rules

Question 0

Double negation (DN)

Answer 0

A :: ~~ A

Question 1

Conditional exchange (CE)

Answer 1

[A ) B] :: [~A v B]

Question 2

Commutation (comm)

Answer 2

[A v B] :: [B v A]

[A • B] :: [B • A]

Question 3

Duplication (dup)

Answer 3

[A v A] :: A

[A • A] :: A

Question 4

Association (assoc)

Answer 4

[A v B] v C :: A v [B v C]
Or
[A • B] • C :: A • [B • C]

Question 5

Biconditional exchange (BE)

Answer 5

[A =_ B] :: [A ) B] • [B ) A]

Question 6

DeMorgan’s (DeM)

Answer 6

~ [A v B] :: ~A • ~B
Or
~ [A • B] :: ~A v ~B

Question 7

Exportation (Exp)

Answer 7

{ [A • B] ) C } :: { A ) [B ) C] }

Question 8

Distribution (dist)

Answer 8

{ A v [C • D] } :: { [A v B] • [A v D] }

{ A • [B v C] } :: { [A • B] v [A •C] }

Question 9

Contra position (contra)

Answer 9

[A ) B] :: [~A ) ~B]