uando temos um número muito grande de proposições nossa tabela-verdade fica muito complexa. Para facilitar a simplificação e validação dessas.