2 formas diferentes para expresar una misma operación:

Esta entrada va a ser un poco más corta que las demás, ya que son formas de abreviar las operaciones, PERO es muy importante, ya que de reemplazar un bloque de operaciones por una sola es algo que ayuda mucho más que todo al momento de hacer una demostración.

Si tenemos la proposición compuesta "~(~r  v ~s)" esto se puede reemplazar por "r ^s". Si miramos detenidamente, se puede ver que se está negando una disyunción entre dos proposiciones negadas, entonces con la negación de afuera del paréntesis la disyunción pasa a ser una conjunción y las dos negaciones dentro del paréntesis se eliminan (tener 2 negaciones es lo mismo que tener una afirmación) y termina quedando sólo la ^ y las dos proposiciones sin sus negaciones. Si hacemos un ejemplo r sería: "como" y s :"manejo" la proposición compuesta ~(~r  v ~s) estaría diciendo algo como "no es cierto que no como o no camino". En otras palabras, el paréntesis de adentro nos dice que no come o no camina, y con la negación de afuera termina quedando "como y camino".

Si tenemos "~r  v s" esto se puede reemplazar por "r -> s". Se usa un razonamiento similar al anterior para este.