Instruções de Uso:
Insira as Fórmulas Bem Formuladas (FBFs) utilizando os botões abaixo para adicionar as operações lógicas. Os
botões disponíveis são:
- ¬ (Negação): Representa a negação lógica, ou seja, inverte o valor de uma proposição. Exemplo: ¬A
significa "não A".
- ∧ (E): Representa a conjunção lógica, que só é verdadeira quando ambas as proposições são verdadeiras.
Exemplo: A ∧ B significa "A e B".
- ∨ (Ou): Representa a disjunção lógica, que é verdadeira se pelo menos uma das proposições é verdadeira.
Exemplo: A ∨ B significa "A ou B".
- → (Condicional): Representa a implicação lógica, que é verdadeira quando a proposição anterior implica
na proposição seguinte. Exemplo: A → B significa "Se A, então B".
- ↔ (Bicondicional): Representa a bicondicional lógica, que é verdadeira quando as proposições têm o mesmo
valor lógico. Exemplo: A ↔ B significa "A se e somente se B".
Clique em "Calcular" para gerar a tabela verdade correspondente à Fórmula Bem Formulada (FBF) inserida.
Acompanhe a resolução passo a passo para entender o processo de análise da FBF e como a tabela verdade é
obtida.
Observações:
- Use o máximo de parênteses possíveis para evitar ambiguidades nas fórmulas.
- São permitidas no máximo 5 variáveis proposicionais (A, B, C, D, E) na FBF.