Changes

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.