논리 진리표 생성기
논리식을 넣으면 모든 경우의 참·거짓을 표로 만들고 항진명제인지 판정합니다.
명제는 5개까지. 기호·영문·프로그래밍 표기를 모두 읽습니다.
우연명제 (경우에 따라 다름)
3 / 4
4가지 경우 중 참인 경우의 수 · 명제 2개
진리표
T는 참, F는 거짓입니다. 가로로 넘겨서 볼 수 있습니다.
쓸 수 있는 표기
우선순위는 아니다 > 그리고 > 또는 > 이면 > 일 때만 순이며 괄호로 바꿀 수 있습니다. 명제 이름은 알파벳과 한글을 모두 쓸 수 있습니다.
계산 방법
- 1논리식을 입력합니다. A AND B, A -> B 처럼 쓰면 됩니다.
- 2기호(∧ ∨ ¬)나 프로그래밍 표기(&& || !)를 써도 됩니다.
- 3표에서 모든 경우의 결과와 항진·모순 판정을 확인합니다.
자주 묻는 질문
한 가지로 강요하지 않습니다. 그리고는 ∧·AND·&&·&, 또는은 ∨·OR·||·|, 아니다는 ¬·NOT·!·~, 이면은 →·->·=>, 일 때만은 ↔·<->·<=> 를 모두 읽습니다. 교과서 기호든 프로그래밍 표기든 편한 대로 쓰세요.
아니다 > 그리고 > 또는 > 이면 > 일 때만 순입니다. 예를 들어 NOT A AND B는 (NOT A) AND B로 읽고, A OR B AND C는 A OR (B AND C)로 읽습니다. 함의는 오른쪽 결합이라 A → B → C는 A → (B → C)입니다. 헷갈리면 괄호를 쓰세요.
"비가 오면 우산을 쓴다"는 약속은 비가 오지 않은 날에는 어길 수가 없기 때문입니다. 함의는 앞이 참인데 뒤가 거짓일 때만 거짓이며, 앞이 거짓이면 무조건 참입니다. 처음 배울 때 가장 낯선 부분이라 진리표로 확인해 보면 이해가 빠릅니다.
명제 이름으로 읽습니다. 한 글자 이름으로 흔히 쓰이기 때문에 조용히 상수로 바꾸면 표가 통째로 틀립니다. 참·거짓을 직접 넣으려면 1·0이나 true·false, 참·거짓으로 쓰세요.
비트 연산 계산기(bit-calc)는 숫자의 각 비트에 AND·OR을 적용합니다. 이 도구는 명제 변수를 참·거짓으로 두고 모든 경우를 따집니다. 집합 계산기(set-operations)는 원소의 모임을 다루므로 셋 다 다른 축입니다.
알아두면 좋은 점
- 명제는 5개까지 다룹니다. 5개면 32줄이 됩니다.
- T와 F는 명제 이름으로 읽습니다. 상수는 1·0이나 true·false로 쓰세요.
- 첫 행이 모두 참인 교과서 순서로 표를 만듭니다.
함께 보면 좋은 도구
마지막 검증: 2026년 8월 29일 · 결과는 참고용 추정치입니다.