DPSolver

Your web browser must have JavaScript enabled in order for this application to display correctly.

Por favor ingrese su fórmula:

Help - About

X

Help

Para quienes lo deseen se pueden utilizar las siguientes equivalencias para los símbolos lógicos:

'∧' = '*'.

'∨' = '+'.

'¬' = '-'.

'→' = '>'.

'⊨' = '='.

'⇔' = '#'.

El formato de la fórmula se ve reflejado en el siguiente BNF:

Formula := "{" Sentence "}"

Sentence := AtomicSentence | Equivalence | Implication | Conjunction | Disjunction

Implication := ("-")? "(" Sentence "=>" Sentence ")"

Conjunction := ("-")? "(" Sentence ( "^" Sentence )+ ")"

Disjunction := ("-")? "(" Sentence ( "v" Sentence )+ ")"

AtomicSentence := ("-")? ["A"-"Z"]>

Es decir, una fórmula correcta sintacticamente sería: {(P∧(-P∨Q))}

X

About

Esta herramienta surge como trabajo promocional conjunto de las materias Análisis y Diseño de Algoritmos I y Ciencias de la Computación II.

La idea es brindar a los futuros estudiantes una forma de corroborar si están haciendo bien los prácticos, checkeando con una herramienta proporcionada por la cátedra, la particularidad de esto es que la herramienta es diseñada por y para alumnos, pudiendo así hacerla mas a la medida de lo que un alumno necesita, ya que se puede proporcionar lo que uno cree que necesitaba.

Diseño y desarrollo: Cicconi Diego, Fernández Cocirio Mariano