(A∧B)의 진리표

계산기 입력란에 논리식을 입력하고 계산을 누르기만 하면 됩니다. 진리표가 자동으로 만들어져 변수 값의 가능한 모든 조합과 그에 따른 식의 결과를 보여 줍니다.

변수는 알파벳 순서로 나열되고, 행은 '모두 거짓'에서 시작해 모든 할당을 세어 나갑니다. 첫 번째 변수가 가장 빠르게 바뀌므로 마지막 행이 모든 변수가 참인 행입니다. 교재마다 이 부분이 달라서 '모두 참'에서 시작하는 경우도 많습니다. 그래서 행의 순서가 강의 노트와 달라 보일 수 있지만, 표가 말하는 내용은 완전히 같습니다.

서로 다른 변수의 개수를 지수로 하는 2의 거듭제곱입니다. 변수가 3개면 8행, 4개면 16행, 10개면 1,024행이 됩니다. 변수를 하나 더할 때마다 표가 두 배가 되므로, 긴 식은 모든 행을 읽기보다 성질과 동치 형식을 보고 판단하는 편이 대개 수월합니다.

네. 진리표의 표기 전환으로 기호 ⊤·⊥와 숫자 1·0을 오갈 수 있고, 선택한 설정은 다음 방문을 위해 이 브라우저에 기억됩니다.

마지막 열을 보세요. 모든 행이 참이면 항진명제, 모든 행이 거짓이면 모순명제, 둘이 섞여 있으면 우연명제입니다. 한 행이라도 참이면 충족 가능합니다. 계산기가 이 모든 것을 표 위에 알려 주므로, 이 열은 결론을 이끌어 내기보다 확인하는 데 쓰는 셈입니다.