Si en una linea de derivación nos encontramos con una proposición disyuntiva (A Ú B) y en otra linea de derivación, con la negación de uno cualquiera de sus miembros; podemos, mediante la aplicación del TP, afirmar el otro miembro.

Si nos encontramos con dos lineas de derivación formadas por condicionales (A ® B)y en donde en una de ellas, su antecedente coincida con el consiguiente de la otra condicional, entonces podemos crear una nueva condicional que esté formada por el antecedente de una de las condicionales y el consiguiente de la otra.

Si nos encontramos en una linea de derivación con una proposición disyuntiva (A Ú B) y en otras lineas de derivación con dos condicionales, en donde sus antecedentes coincidan con los miembros de tal disyunción; entonces se puede formar, mediante la aplicación de la regla del Dilema, una nueva linea de derivación de tipo disyuntivo que esté formada por los consiguientes de las dos condicionales.

Las Leyes de Morgan permiten:

1. El cambio del conjuntor en disyuntor y viceversa.
2. Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).