Logic Calculator 정보

이것은 무엇입니까?

명제 논리와 부울 논리를 지원하는 논리 계산기입니다. 분석, 시각화 및 계산 도구를 제공하여 학생과 전문가가 논리 표현식을 다루는 데 도움을 줍니다.

기능

• 명제 논리 표현식 디코딩 및 시각화
• 부정, 함축, 논리곱, 논리합 및 쌍조건 지원
• 표현식이 충족 가능하고 유효한지 확인
• 포괄적인 진리표 생성
• 시각적 표현식 트리 생성
• 대체 동등 공식 제공

제작자

이 계산기는 논리학과 컴퓨터 과학을 공부하는 학생들을 위한 교육 도구로 Jonathan Søholm-Boesen이 만들었습니다.

유지 관리자

Logic Calculator는 현재 개인 정보 보호 친화적인 제품을 구축하는 소프트웨어 개발 회사인 Infobits ApS에서 유지 관리 및 개발하고 있습니다.

교육 목적

이 도구는 학생들이 명제 논리를 이해하는 데 도움이 되는 교육 자료로 제공됩니다. 원래 오르후스 대학교의 계산 가능성 및 논리 과정을 위해 만들어졌지만 대학과 공식적으로 연관되어 있지 않습니다.