100
edits
Changes
→Método de prova
[[File:imagem1.png]]
Nos preocupamos agora em determinar como o maple simplifica expressões booleanas caso estejam combinadas. Começamos com um simples exemplo de dupla negação: [[File:imagem2.png]]
Isto pode ser simplificado através do uso da função '''bsimp''' do maple.