109
edits
Changes
Jump to navigation
Jump to search
→Dual
A beleza da dualidade é que, uma vez que você provar uma identidade booleana, você pode usar o '''dual''' a vontade!
Enquanto é possível usar Maple para provar uma identidade pela força bruta -- , isto é, checando cada valor possível das variáveis, o pacote '''logic''' oferece uma solução mais elegante.
Como um exemplo disto, vamos usar o Maple para provar a identidade
[[File:imagem.png|200px]]
