명제 논리 공식의 결과를 계산하고 해석합니다.
advertisement
| 이름 | Logic Calculator |
|---|---|
| 버전 | 1.1.4 |
| 업데이트 | 2023년 09월 26일 |
| 크기 | 19 MB |
| 카테고리 | 도구 |
| 설치 수 | 50K+ |
| 개발자 | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · 스크린샷
Logic Calculator · 설명
이 앱으로 다음을 수행 할 수 있습니다.
-일련의 문자가 잘 구성된 공식 (WFF)인지 확인합니다.
-명제 논리 공식의 NPN (Normal Polish Notation)-즉 접두사 표기법을 얻습니다.
-명제 논리 공식의 역 폴란드 표기법 (RPN), 즉 접미사 표기법을 얻습니다.
-명제 논리 공식의 하위 공식을 얻습니다.
-명제 논리 공식의 분리 정규형 (DNF) 및 결합 정규형 (CNF) 공식을 얻습니다.
-명제 논리 공식을위한 진리표 생성;
-명제 기호에 진리 값을 할당하고 명제 논리 공식의 해석을 얻습니다.
또한 논리적 연결에 대해 다른 우선 순위를 선택할 수 있습니다.
-일련의 문자가 잘 구성된 공식 (WFF)인지 확인합니다.
-명제 논리 공식의 NPN (Normal Polish Notation)-즉 접두사 표기법을 얻습니다.
-명제 논리 공식의 역 폴란드 표기법 (RPN), 즉 접미사 표기법을 얻습니다.
-명제 논리 공식의 하위 공식을 얻습니다.
-명제 논리 공식의 분리 정규형 (DNF) 및 결합 정규형 (CNF) 공식을 얻습니다.
-명제 논리 공식을위한 진리표 생성;
-명제 기호에 진리 값을 할당하고 명제 논리 공식의 해석을 얻습니다.
또한 논리적 연결에 대해 다른 우선 순위를 선택할 수 있습니다.
