Analitzador de frases proposicionals

Entrada:

Sortida:

Com funciona

Aquesta pàgina genera la taula de valors per una donada oració proposicionals. Només cal introduir-la com entrada i prèmer el botó. Si tot surt bé, es presentarà la taula de valors corresponent.

Els caràcters utilitzables són:

  • & o ^: conjunció
  • | o v: disjunció
  • >: condicional (->)
  • =: bicondicional (<->)
  • ˜: negació
  • [A-Za-z]: lletra proposicional (e.g. p, q)
  • 0 i 1: Valor constant
  • ( i ): Canvia ordre d'operacions

Si hi trobeu cap error, no dubteu fer-me'n saber a través d'un issue per GitLab.