logic

M.P.

M.T.

H.S.

Simp.

Conj.

Dil.

D.S.

Add.

D.N.

Commutation (Comm.)

Contraposition (Contrap.)

Distribution (Dist.)

Biconditional Exchange (B.E.)

Association (Assoc.)

Duplication (Dup.)

DeMorgan's (DeM.)

Conditional Exchange (C.E.)

Exportation (Exp.)