discretos/projectos

Projectos

Projectos

Tabela de verdade

Uma tabela de verdade sumariza a combinação de duas ou mais condições lógicas baseadas nos operadores AND(disjunção), OR(conjunção) e NOT(negação). Em lógica, uma disjunção de duas proposições é verdadeira se ambas as proposições forem verdadeiras. Se pelo menos uma das proposições é verdadeira, então uma conjunção de duas proposições será verdadeira. A negação de uma proposição verdadeira é falsa e vice-versa. Finalmente a lei de DeMorgan diz-nos como fazer a negação de uma expressão booeleana (que toma valores verdadeiros ou falsos).

Neste projecto devemos implementar um sistema simples de geração de tabelas de verdade da uma expressão lógica. Por exemplo, se for dada a entrada da seguinte expressão a AND b deverá ser produzida a seguinte tabela de verdade:

a	b	a AND b
0	0	0
0	1	0
1	0	0
1	1	1

Requisitos

• O sistema deve correr numa página web
• Implementar algumas operações de exemplo
• Utilizar ao máximo linguagens de cliente side (e.g: Javascript)
• Implementar mecanismos de validação de expressões bem formadas *+ Implemetar um construtor de tabelas interativo (controi a tabela automaticamente mas que também constroí passo por passo)

TODO

• verificaExpressao.js - ILTON/PAULO
• constroiTabela.js - QUISSAQUE
• index.html - MÁRIO
• Código inicial - DIZANDO