S touto aplikací můžete:
- ověřit, zda posloupnost znaků je dobře vytvořený vzorec (WFF);
- získat normální polskou notaci (NPN) - tj. předponovou notaci - výrokových logických vzorců;
- získat reverzní polskou notaci (RPN), tj. postfixovou notaci - výrokových logických vzorců;
- získat dílčí vzorce výrokových logických vzorců;
- získat vzorce disjunktivní normální formy (DNF) a spojovací normální formy (CNF) výrokových logických vzorců;
- generovat pravdivostní tabulky pro výrokové logické vzorce;
- přiřadit pravdivostní hodnoty výrokovým symbolům a získat interpretaci výrokových logických vzorců.
Dále si můžete vybrat různé pořadí priorit pro logické spojky.
Datum aktualizace
6. 9. 2023