1.Descrição do Problema

O problema abordado neste projeto (proposto pelo item 19 dado em sala de aula) é o Calculo Proposicional.

Tendo como objetivo a construção de um programa que produza a negação de uma expressão proposicional.

Esta expressão será construída de átomos e operadores not, and, or , =>, através do uso de operadores.

A expressão negada estará na forma mais simples, onde not é aplicado somente a átomos.