Last 5 Pages Viewed: Introdução Computacional à Lógica Matemá... » Special:MobileDiff/899 » Special:MobileDiff/1190 » Special:MobileDiff/693

Changes

Jump to navigation Jump to search
m
A função '''bsimp''' é um simplificador geral para expressões booleanas construídas usando os operadores booleanos inativos. A função computa uma expressão booleana simplificada equivalente ao seu argumento. Podemos também usar o maple para determinar se uma expressão é uma tautologia através do uso da função tautology oferecida pelo pacote logic.
 
[[File:imagem7.png]]
61

edits

Navigation menu