Além da comprovação de equivalências lógicas via método dedutivo, as regras notáveis também dão suporte à obtenção de proposições mais simples, de menor tamanho e, consequentemente, com um número menor de conectivos.
A equivalência lógica abaixo é um excelente exemplo de como o método dedutivo possibilita a obtenção de uma proposição de menor tamanho:
Veja a resolução: