RETURN((x and y) or (y and z) or (z and x));
end:</pre>
A tradução como você pode ver é bastante simples. Um produto como xy é traduzido diretamente para expressões no Maple como x and y, enquanto a ''sum x+y'' é traduzida como x or y. Se vocẽ imaginar que cada produto xy tem um ponto infixo como''x.y'', então uma simples regra de substituir cada ponto ( . ) por um operador '''and''' e também trocar cada + pelo operador '''or'''. Os parênteses na hora de definir '''F''' acima não são realmente necessários mas ajuda ajudam na leitura do programa. (Porque parênteses bem usados nunca doem).
=== '''Verificando Identidades Booleanas''' ===