Online kalkulačka výrokových formulí

Tato kalkulačka určuje pravdivostní hodnoty jednoduchých výrokových formulí. V pojmech se mohou vyskytovat následující symboly:

• proměnné x, y, z
• konstanty 1 (PRAVDA) a 0 (NEPRAVDA)
• negace, symbol ¬
• konjunkce (spojka A), symbol ∧
• disjunkce (spojka NEBO), symbol ∨
• Implikace, symbol ⇒
• ekvivalence, symbol ⇔
• kulaté závorky

Pro symboly ¬, ∧, ∨, ⇒ a ⇔ platí, že čím je symbol v tomto výčtu více vlevo, tím se silněji váže. Podle této definice je možné v mnoha případech ušetřit závorky.

Ve výstupní oblasti kalkulátoru (levá část) lze vyčíst následující informace:

• Zadaný výraz (výroková formule)
• Komentář (typ celkového výrazu nebo označení neúplného výrazu)
• Pravdivostní tabulka (pravdivostní hodnoty dle proměnných zadaného výrazu)
• Disjunktivní normální forma
• Konjunktivní normální forma