Logic Calculator

이 앱으로 다음을 수행 할 수 있습니다.

-일련의 문자가 잘 구성된 공식 (WFF)인지 확인합니다.
-명제 논리 공식의 NPN (Normal Polish Notation)-즉 접두사 표기법을 얻습니다.
-명제 논리 공식의 역 폴란드 표기법 (RPN), 즉 접미사 표기법을 얻습니다.
-명제 논리 공식의 하위 공식을 얻습니다.
-명제 논리 공식의 분리 정규형 (DNF) 및 결합 정규형 (CNF) 공식을 얻습니다.
-명제 논리 공식을위한 진리표 생성;
-명제 기호에 진리 값을 할당하고 명제 논리 공식의 해석을 얻습니다.

또한 논리적 연결에 대해 다른 우선 순위를 선택할 수 있습니다.