São diversas as vantagens de se trabalhar com uma proposição reduzida, tendo a certeza de que a mesma é equivalente à proposição original.

Considere ter que fazer uma tabela verdade de uma proposição. Certamente é menor o trabalho e a possibilidades de erro quando a proposição é pequena. Veja abaixo a complexidade da tabela verdade de (p∧q∧r)∨(p∧~r)∨(p∧~q), que não está totalmente preenchida devido fazer parte do desafio do módulo anterior.

							A	B	C	D	C∨D
	p	q	r	~r	~q	p∧q	p∧q∧r	p∧~r	A∨B	p∧~q	(p∧q∧r)∨(p∧~r)∨(p∧~q)
1.	V	V	V								V
2.	V	V	F								V
3.	V	F	V								V
4.	V	F	V								V
5.	F	V	V								F
6.	F	V	F								F
7.	F	F	V								F
8.	F	F	F								F

Por outro lado, construir uma tabela verdade da proposição p seria bem mais simples que a tabela de (p∧q∧r)∨(p∧~r)∨(p∧~q), sendo que sabemos que essas duas proposições são logicamente equivalentes. Além disso, mais à frente, na próxima unidade, será também estudada a relação da lógica das proposições com a o projeto de circuitos lógicos, onde a utilização de proposições simplificadas também se apresenta como notória vantagem.

Sendo assim, devemos intensificar o entendimento da aplicação das regras de equivalências notáveis na obtenção de proposições simplificadas.