100
edits
Changes
no edit summary
Embora o maple não possa receber teoremas e resultados de provas para esses teoremas, pode receber expressões lógicas e simplificadas ou determinar características tais como: se uma expressão booleana pode ser satisfeita ou se é uma tautologia. Para trabalhar com expressões lógicas no maple, precisamos usar alguns dos recursos oferecidos pelo pacote de {\bf logic}(um assunto abordado de maneira mais aprofundada no capítulo 9).
Primeiramente examinaríamos os operadores lógicos: conjunção, disjunção, negação e {\bf implicação}. Não existe (no Maple). Para estudar as condicionais, devemos trabalhar com os operadores booleanos inativos oferecidos pelo pacote de {\bf logic}. Todos esses são iniciados com o caracter {\bf mexpr} $\&$ , por exemplo: usamos $\&{\bf and}$ ao invés de {\bf and} e $\'''&{\bf not}'''$ ao invés de {\bf '''not}'''. Em seguida, vão alguns exemplos do uso de operadores booleanos inativos:
[[File:imagem1.png]]
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 {\bf '''bsimp} ''' do maple.
[[File:imagem3.png]]