이 앱 정보
이 앱을 사용하면 다음을 수행 할 수 있습니다.- 문자 시퀀스가 잘 형성된 공식 (WFF)인지 확인하십시오.
- 일반 광택 표기법 (NPN) - 즉, 접두사 표기법 - 제안 논리 공식을 얻습니다.
- 리버스 폴란드 표기법 (RPN), 즉 제안 논리 공식의 포스트 픽스 표기법을 얻습니다.
- 제안 논리 공식의 하위 형식을 얻습니다.
- 해제 정상 형태 (DNF) 및 제안 논리 공식의 공액 정상 형태 (CNF) 공식을 얻습니다.
- 제안 논리 공식에 대한 진실 테이블을 생성합니다.
- 제안 기호에 진실 값을 할당하고 제안 논리 공식의 해석을 얻습니다.
또한 논리적 연결에 대한 다른 선례 순서를 선택할 수 있습니다.
