Resumo

As regras notáveis são ferramentas à obtenção de proposições mais simples, de menor tamanho e, consequentemente, com um número menor de conectivos lógicos.

Veja um excelente exemplo:

Considere ter que fazer uma tabela verdade de uma proposição. Certamente é menor o trabalho e a possibilidades de erro quando a proposição não é extensa.

Construir uma tabela verdade da proposição p seria bem mais simples que a tabela de (p∧q∧r)∨(p∧~r)∨(p∧~q).

É importante atenção ao aplicar as regras de simplificação, garantindo-se obter uma proposição que seja de fato equivalente à proposição original.

A simplificação de proposições pode ser direcionada à obtenção de proposições resultantes que estejam na Forma Normal (FN), ou, mais especificamente, na Forma Normal Conjuntiva (FNC) e Forma Normal Disjuntiva (FND).

Uma proposição está em sua Forma Normal (FN) quando, e somente quando, contém no máximo os conectivos ~, ∧ e ∨. A FN pode ser Disjuntiva, sendo então chamada de FND, ou Conjuntiva, que é a FNC.