진리표 생성기

  1. 입력
  2. 옵션
  3. 결과

진리표 생성기

연산자 버튼, 예제, 수식 분류, 표준 DNF 및 CNF, 최소항 및 내보내기를 사용하여 진리표를 구축하고 탐색합니다.

진리표 구축

부울 표현식을 입력하거나 연산자 버튼을 사용하여 조합합니다.

선택적 비교에서는 변수 합집합(최대 8개)을 사용하고 반례를 강조 표시합니다. 입력을 변경한 다음 테이블을 작성하여 결과를 업데이트하십시오. 각 표현식은 2000자로 제한됩니다.

논리식 연산자

NOT, AND, OR, XOR, NAND, NOR, IMPLIES 및 IFF을 입력할 수도 있습니다.

빠른 예

표현식은 브라우저에서 로컬로 평가됩니다.

구문 분석된 표현식
(A ∧ B) → C
조건부 논리식
변수
A, B, C
조합
8
결과 1이 있는 행
7
결과가 0인 행
1

부울 진리표

PDF / 인쇄: 모두 (8)

#
A
B
C
결과
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

표준 부울 형식

정규 DNF은(는) 결과 1이 있는 테이블 행으로 구성됩니다. 표준 CNF은(는) 결과가 0인 테이블 행에서 작성됩니다.

표준 분리 정규형(DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
정규 결합 정규형(CNF)
(¬A ∨ ¬B ∨ C)
부울 최소항
Σm(0, 1, 2, 3, 4, 5, 7)
부울 최대항
ΠM(6)

온라인으로 진리표 생성

부울 표현식을 입력하거나 조합하고 최대 8개 변수의 모든 조합을 결과 값과 검사합니다.

수식을 동어반복, 모순 또는 우발로 분류하고, 행을 필터링하고, 표준 DNF, CNF, 최소항 및 최대항과 함께 테이블을 내보냅니다.

빠른 시작

진리표를 작성하거나 두 표현식의 동등성을 비교하십시오.

  1. 표현식 및 선택적 비교를 입력하세요.
  2. 결과를 업데이트하려면 테이블을 작성하세요.
  3. 반례를 검사하고 전체 테이블을 내보냅니다.
✓ 도구는 브라우저에서 바로 실행되므로 별도 프로그램 설치 없이 빠르게 확인할 수 있습니다.
✓ 입력을 즉시 지우고 다시 계산할 수 있어 반복적인 작은 작업에 편리합니다.
✓ 긴 텍스트, 구조화된 데이터, 큰 결과 블록을 다룰 때는 전체 화면 모드를 사용하세요.
✓ 복사 버튼으로 생성된 결과를 코드, 문서, 지원 채팅에 바로 재사용할 수 있습니다.
✓ 대부분의 작업은 결정적이어서 같은 입력과 옵션은 같은 결과를 만듭니다.
✓ 민감한 내용은 브라우저에서 로컬로 처리되는 도구를 사용하고, 공유하기 전에 결과를 확인하세요.

기타 도구

사용자 리뷰

리뷰는 게시 전에 확인됩니다. 우리는 진정한 긍정적인 피드백과 구체적인 비평을 게시합니다. 유용한 세부정보가 없는 스팸 및 모욕은 게시되지 않습니다. 욕설 및 개인정보는 마스킹 처리됩니다. 긍정적인 투표는 즉시 집계됩니다. 부정적인 투표는 검토 후 계산됩니다.

리뷰는 사용자의 경험을 반영하는 것이지 결과를 보장하거나 서비스 제한 사항을 설명하는 것은 아닙니다. 리뷰를 남기려면 위의 평가 버튼을 사용하세요.

아직 이 언어로 게시된 리뷰가 없습니다.