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:

Isto pode ser simplificado através do uso da função '''bsimp''' do maple.