SD+ Rules of Replacement
CM
(Commutation)
P
&
Q
Q
&
P
or
P
v
Q
Q
v
P
or
P
=
Q
Q
=
P
DN
(Double Negation)
P
~~
P
IM
(Implication)
P
>
Q
~
P
v
Q
TR
(Transposition)
P
>
Q
~
Q
>~
P
ID
(Idempotence)
P
&
P
P
or
P
v
P
P
DM
(De Morgan's)
~(
P
&
Q
)
~
P
v~
Q
or
~(
P
v
Q
)
~
P
&~
Q
AS
(Association)
P
&(
Q
&
R
)
(
P
&
Q
)&
R
or
Pv
(
Q
v
R
)
(
P
v
Q
)v
R
DI
(Distribution)
P
&(
Q
v
R
)
(
P
&
Q
)v(
P
&
R
)
or
Pv
(
Q
&
R
)
(
P
v
Q
)&(
P
v
R
)
EQ
(Equivalence)
P
=
Q
(
P
&
Q
)v(~
P
&~
Q
)
or
P
=
Q
(
P
>
Q
)&(
Q
>
P
)
EX
(Exportation)
P
>
(
Q
>
R
)
(
P
&
Q
)
>
R
~~P ~PvQ ~Q>~P(P&Q)>R