Logic Calculator

Aulos Rafael

Yra skelbimų

Apie šią programą

Naudodami šią programą galite:

- patikrinti, ar simbolių seka yra gerai suformuota formulė (WFF);
- gauti teiginių logikos formulių normalią lenkų kalbos žymėjimą (NPN), t. y. priešdėlio žymėjimą;
- gauti teiginių logikos formulių atvirkštinės lenkų kalbos žymėjimą (RPN), t. y. postfix žymėjimą;
- gauti teiginių logikos formulių pakopas;
- gauti proporcinių loginių formulių disjunkcinės normaliosios formos (DNF) ir jungtinės normaliosios formos (CNF) formules;
- generuoti tiesos lenteles teiginių logikos formulėms;
- priskirti teiginių simboliams tiesos vertes ir gauti teiginių logikos formulių interpretaciją.

Be to, galite pasirinkti skirtingas loginių jungčių pirmenybės tvarkas.