논리 표현식 간소화 계산기


이 프로그램은 변수 수가 1에서 5까지인 논리 함수의 진리 테이블을 얻기 위한 것입니다. n개의 변수로 구성된 논리(부울) 함수 y = f(x1, x2, …, xn)는 모든 변수가 있는 함수이며 함수 자체는 두 개의 값만 취할 수 있습니다: 0과 1.


논리의 기본 기능

0과 1의 두 값만 취할 수 있는 변수를 논리 변수(또는 그냥 변수)라고 합니다. 논리 변수 x는 숫자 0 아래에 거짓인 문장이 있고 숫자 1 아래에 참인 문장이 있을 수 있다는 점에 유의하세요.

논리 함수의 정의에서 알 수 있듯이 n개의 변수로 이루어진 함수는 Bn을 B로 매핑하는 함수이며, 이 함수의 진리표라는 테이블로 직접 정의할 수 있습니다.

논리의 기본 함수는 두 변수 z = f(x,y)의 함수입니다.

이 함수의 수는 24 = 16입니다. 번호를 바꾸고 자연스러운 순서로 배열해 보겠습니다.

The program is designed to get truth tables of boolean functions with a number of variables from one to five.

이 함수들을 좀 더 자세히 살펴보겠습니다. 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)은 특별한 명칭이 없습니다.

논리는 종종 함수의 함수, 즉 위 함수의 중첩을 고려한다는 점에 유의하세요. 이 경우 작업 순서는 (평소와 같이) 괄호로 표시됩니다.

사용자 설명서

boolean simplifier calculator
  1. 사용자가 입력한 모든 문자가 계산기에 표시됩니다.
  2. 애플리케이션 인터페이스에 표시되는 문자 피연산자 외에도 키보드 입력도 가능합니다.
  3. 사용자가 기능을 입력할 때 실수한 경우 백스페이스 키를 눌러 마지막으로 입력한 문자를 삭제할 수 있습니다.
  4. 이 애플리케이션은 입력된 값의 정확성을 자동으로 확인하는 기능을 지원합니다. 즉, 오류가 발생하면 기호가 디스플레이에 나타나지 않지만 반대로 진동하여 사용자에게 오류가 발생했음을 알립니다.
  5. 사용자 표현식 입력을 완료한 후 확인 버튼을 눌러야 진리 테이블이 표시됩니다.
  6. 계산된 값이 너무 많은 경우 테이블을 아래로 스크롤하여 나머지 옵션을 확인할 수 있습니다.
  7. 상단에 힌트로 사용자가 입력한 표현식이 표시됩니다.
  8. 메인 페이지로 돌아가려면 표의 아무 곳이나 클릭합니다.
boolean simplifier manual