이 프로그램은 변수 수가 1에서 5까지인 논리 함수의 진리 테이블을 얻기 위한 것입니다. n개의 변수로 구성된 논리(부울) 함수 y = f(x1, x2, …, xn)는 모든 변수가 있는 함수이며 함수 자체는 두 개의 값만 취할 수 있습니다: 0과 1.
논리의 기본 기능
0과 1의 두 값만 취할 수 있는 변수를 논리 변수(또는 그냥 변수)라고 합니다. 논리 변수 x는 숫자 0 아래에 거짓인 문장이 있고 숫자 1 아래에 참인 문장이 있을 수 있다는 점에 유의하세요.
논리 함수의 정의에서 알 수 있듯이 n개의 변수로 이루어진 함수는 Bn을 B로 매핑하는 함수이며, 이 함수의 진리표라는 테이블로 직접 정의할 수 있습니다.
논리의 기본 함수는 두 변수 z = f(x,y)의 함수입니다.
이 함수의 수는 24 = 16입니다. 번호를 바꾸고 자연스러운 순서로 배열해 보겠습니다.

이 함수들을 좀 더 자세히 살펴보겠습니다. f0 = 0과 f15 = 1 중 두 개는 상수입니다. 함수 f3, f5, f10 및 f12는 본질적으로 하나의 변수에 대한 함수입니다.
두 변수의 가장 중요한 함수에는 특별한 이름과 명칭이 있습니다.
1) F1 – 접속사(AND 함수)
접속사는 실제로는 일반적인 곱셈(0과 1의 곱셈)이라는 점에 유의하세요. 이 함수는 X&Y로 표시됩니다;
2) f7은 분리(또는 함수)입니다. V로 표시됩니다.
3) F13은 암시(다음)입니다. 로 표시.
이것은 특히 논리에서 매우 중요한 기능입니다. 다음과 같이 볼 수 있습니다. x = 0(즉, x가 “거짓”인 경우)이면 이 사실로부터 “거짓”과 “참”을 모두 추론할 수 있으며(이 또한 정확합니다), y = 1(즉, y가 “참”인 경우)이면 “거짓”과 “참” 모두로부터 진리를 추론할 수 있으며 이 또한 정확합니다. “진리로부터 거짓이다”라는 결론만 틀립니다. 모든 정리는 항상 실제로 다음과 같은 논리 함수를 포함합니다.;
4) F6 – 덧셈 모듈로 2. “+” 기호 또는 원 안의 “+” 기호로 표시됩니다..
5) f9는 동등성 또는 유사성입니다. 이 f9 = 1은 x = y인 경우에만 x ~ y로 표시됩니다.
6) f14는 셰퍼의 대시입니다. 이 함수는 접속사의 부정과 같기 때문에 “not and”라고도 합니다. x|y로 표시됩니다.
7) f8은 피어스 화살표(이 기능을 루카시에비치 획이라고도 함)입니다.
나머지 세 가지 기능(f2 , f4, f11)은 특별한 명칭이 없습니다.
논리는 종종 함수의 함수, 즉 위 함수의 중첩을 고려한다는 점에 유의하세요. 이 경우 작업 순서는 (평소와 같이) 괄호로 표시됩니다.
사용자 설명서
- 사용자가 입력한 모든 문자가 계산기에 표시됩니다.
- 애플리케이션 인터페이스에 표시되는 문자 피연산자 외에도 키보드 입력도 가능합니다.
- 사용자가 기능을 입력할 때 실수한 경우 백스페이스 키를 눌러 마지막으로 입력한 문자를 삭제할 수 있습니다.
- 이 애플리케이션은 입력된 값의 정확성을 자동으로 확인하는 기능을 지원합니다. 즉, 오류가 발생하면 기호가 디스플레이에 나타나지 않지만 반대로 진동하여 사용자에게 오류가 발생했음을 알립니다.
- 사용자 표현식 입력을 완료한 후 확인 버튼을 눌러야 진리 테이블이 표시됩니다.
- 계산된 값이 너무 많은 경우 테이블을 아래로 스크롤하여 나머지 옵션을 확인할 수 있습니다.
- 상단에 힌트로 사용자가 입력한 표현식이 표시됩니다.
- 메인 페이지로 돌아가려면 표의 아무 곳이나 클릭합니다.