Os três primeiros exemplos mostram a execução do programa para expressões de entrada simples e corretas.

Neste caso ilustra-se alguns casos onde as entradas incorretas são tratadas.

Vejamos como é o comportamento da execução do exemplo: neg(a or b and not c).

Passo1. De acordo com a precedência and > or.

Passo2. Após a negação do operando a , é chamada recursivamente a negacao para o termo (b and not c).

Passo3.Após a negação do operando b , é chamada recursivamente a negacao para o termo (not c).

Por este exemplo pode-se verificar que a or b and not c é tratado como a or (b and not c).