Logic Calculator

Aulos Rafael

Утрымлівае аб’явы

Пра гэту праграму

З дапамогай гэтага прыкладання вы можаце:

- праверыць, ці з'яўляецца паслядоўнасць сімвалаў правільна сфарміраванай формулай (WFF);
- атрымаць звычайную польскую натацыю (NPN) - г.зн. прэфіксную натацыю - прапазіцыйных логічных формул;
- атрымаць зваротную польскую натацыю (RPN), т. е. постфіксную натацыю - формульных лагічных формул;
- атрымаць падфармулы прапазіцыйных логічных формул;
- атрымаць формулы дыз'юнктыўнай нармальнай формы (DNF) і формулы злучальнай нармальнай формы (CNF) прапазіцыйных лагічных формул;
- генераваць табліцы ісціны для прапаноў логічных формул;
- прысвоіць значэнні ісціны прапазіцыйным сімвалам і атрымаць інтэрпрэтацыю формульных лагічных формул.

Акрамя таго, вы можаце выбраць розныя парадкі прыярытэтаў для лагічных злучных.