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:imagem2capeta.png]]
Isto pode ser simplificado através do uso da função '''bsimp''' do maple.