논리 계산기
명제논리와 불 대수를 위한 무료 진리표 생성기. 어떤 논리식이든 진리표, 성질, 동치 형태, 카르노 맵, 회로도를 보여 주고, 어떤 논증이든 의미론적 태블로로 증명합니다. 모두 브라우저에서 실행됩니다.
분석할 논리적 표현식을 입력하세요 (명제 논리, 불린 대수 지원)
가이드
연산자를 클릭하면 계산기에서 해당 예제를 실행합니다. 각 연산자마다 입력할 수 있는 모든 표기를 함께 보여 줍니다.
단계별로 배우는 논리학
첫 명제에서 진리표와 불 대수를 거쳐 프로그래밍, 수학, 철학에서 논리가 쓰이는 방식까지 이어지는 학습 경로입니다.
연습 문제
진리표, 불 대수, 논리적 동치, 증명 문제를 풀어 보세요. 진행 상황을 기록하고 적응형 훈련 세션을 진행할 수 있습니다.
진리표에서 수식으로
모든 진리표를 논리식으로 변환합니다. 사용자 정의 진리표에서 선언적 정규형(DNF) 또는 연언적 정규형(CNF)의 부울 수식을 생성합니다.
정보
명제 논리, 부울 대수 및 진리표 생성을 위한 포괄적인 교육 도구입니다. 논리식을 다루는 학생과 전문가에게 완벽합니다.
연락처 및 문제 보고
버그를 발견했거나 피드백이 있으신가요? 여러분의 의견을 듣고 싶습니다. [email protected]로 이메일을 보내주세요. 문의는 영어로 하는 것이 좋습니다.
자주 묻는 질문
논리 계산기 사용에 대해 자주 묻는 질문과 답변
계산기는 어떤 논리 연산자를 지원하나요?
계산기는 표준 논리 연산자를 모두 지원합니다. 부정(¬, !), 논리곱(&, ∧), 논리합(|, ∨), 함의(→, ->), 쌍조건(↔, <->)입니다. 이 연산자들을 조합해 복잡한 논리식을 만들 수 있습니다.
∧, → 같은 기호는 일반 키보드로 어떻게 입력하나요?
입력하지 않아도 됩니다. 모든 기호에는 계산기가 이해하는 ASCII 표기가 있습니다. ∧는 &, ∨는 |, ¬는 ! 또는 ~, →는 ->, ↔는 <-> 입니다. 상수 ⊤와 ⊥는 true와 false, 또는 T와 F로 쓸 수 있습니다. 기호 자체를 쓰고 싶다면 입력란 아래의 연산자 키보드가 대신 넣어 줍니다.
두 논리식이 동치인지 확인할 수 있나요?
네! 두 식을 '=='로 구분해 동치 검사 기능을 사용하면 논리적으로 동치인지 알 수 있습니다. 계산기가 두 식의 진리표를 비교해 동치 여부를 확인합니다.
계산기로 논증이 타당한지 확인할 수 있나요?
네. 전제를 쉼표로 구분해 쓰고, 그다음에 귀결 기호를, 마지막에 결론을 쓰면 됩니다. 예를 들어 'p, p -> q ⊨ q'처럼요. 귀결 기호는 |= 또는 |-로 입력해도 됩니다. 계산기는 결론이 따라 나오는지, 실제로 필요한 전제가 무엇인지, 전제들이 모두 동시에 참일 수 있는지 알려 주고, 논증이 타당하지 않을 때는 모든 전제를 참으로 결론을 거짓으로 만드는 반례 모형을 보여 줍니다.
'충족 가능'과 '타당'은 무슨 뜻인가요?
충족 가능한 식은 적어도 하나의 진리값 할당에서 참이 될 수 있는 식입니다. 타당한 식(항진명제)은 가능한 모든 할당에서 참입니다. 계산기는 여러분의 식에 대해 두 성질을 자동으로 확인합니다.
데이터
기록을 저장하기 위해 로컬 스토리지를 사용합니다. 해당 데이터를 삭제하려면 아래 버튼을 사용하세요.