현대의 컴퓨터는 "고대"전자 컴퓨터는 일의 기본 원칙으로서 특정 가정에 기초를두고 있습니다. 그것들은 논리의 대수학 법칙이라고 불립니다. 처음으로 그러한 학문은 고대 그리스 학자 아리스토텔레스 (Aristotle)에 의해 묘사되었다.
명제의 미적분이 연구되는 수학의 분리 된 부분을 나타내는 논리의 대수는 많은 명확한 결론과 결론을 가지고있다.
주제를 더 잘 이해하기 위해 앞으로 논리의 대수학 법칙을 배우는 데 도움이되는 개념을 분석 할 것입니다.
아마 징계의 주요 용어 -문. 문 이런 종류의 참과 거짓을 모두 할 수 없습니다. 그는 이러한 특성의 하나는 항상 내재. A, B, 즉 C.는, 공식 A = 1 명제 A가 참되다는 것을 의미합니다 : 0, 호출 문 자체에 약간의 라틴어 편지 - 따라서 조건부 진리 값 1 거짓을 받아 가르친다. 문으로 여러 가지 방법으로 올 수 있습니다. 당신이 그들과 함께 수행 할 수있는 작업에 대한 간략한 모습. 논리의 대수의 법칙이 규칙을 모르고 배울 불가능하다는 것을 유의하십시오.
1. 분리 두 문장 - 연산 결과 "또는". 거짓이거나 사실 일 수 있습니다. 기호 "v"가 사용됩니다.
2. 합치다. 두 문장으로 수행 된 그러한 행동의 결과는 초기 문장이 모두 참인 경우에만 새로운 발언이 될 것입니다. 작동 "및"기호 "^"가 사용됩니다.
3. 암시. 동작 "A이면 B". "->"결과는 거짓 진술, 경우에만 진실과 거짓의 B. 적용 상징이다.
4. 동등한 것. 작전 "A, 그 다음에 만 B". 이 문장은 두 변수가 모두 동일한 추정치를 갖는 경우에 해당됩니다. "<->"기호가 사용됩니다.
또한 그 의미에 가까운 많은 작업이 있지만이 기사에서는 고려하지 않을 것입니다.
이제 논리의 대수학의 기본 법칙을 자세히 살펴 보겠습니다.
1. 교환 또는 재배치는 결과에 대한 결합 또는 분리의 논리 용어의 위치 변경이 영향을 미치지 않는다고 명시한다.
2. 연관성 또는 연관성. 이 법칙에 따르면 접속사 또는 분리 운영의 변수를 함께 그룹화 할 수 있습니다.
3. 배포 또는 배포. 법칙의 핵심은 논리를 변경하지 않고 방정식의 동일한 변수를 대괄호 밖으로 가져올 수 있다는 것입니다.
4. De Morgan의 법칙 (반전 또는 부정).연결 연산의 부정은 원래 변수의 부정을 분리하는 것과 같습니다. disjunction으로부터의 부정은 같은 변수의 부정의 결합과 동일하다.
5. 이중 부정. 그의 거부 - 성명의 부정을 두 번 원래의 문, 세 번 발생합니다.
6. 멱등수의 법칙은 논리 추가를 위해 다음과 같이 보입니다. x v x v x v x = x; 곱하기 : x ^ x ^ x ^ = x.
7. 비 모순의 법칙은 다음 두 가지 진술이 서로 모순되는 경우 동시에 진실 일 수 없다고 말합니다.
8. 세 번째를 배제하는 법. 두 모순 된 진술 중 하나는 항상 진실이고 다른 하나는 거짓이며 세 번째는 주어지지 않는다.
흡수의 법칙은 다음과 같이 논리적으로 덧붙이면된다. x v (x ^ y) = x, 곱하기 : x ^ (x v y) = x.
10. 접착 법.인접한 두 접속사는 서로 붙어서 더 작은 순위의 결합을 형성 할 수 있습니다. 또한, 원본 접속사가 붙어 있던 변수는 사라집니다. 논리 추가 예제 :
(x ^ y) v (-x ^ y) = y이다.
우리는 가장 보편적으로 사용되는 법률 만 고려했습니다.논리의 대수학은 실제로 더 많은 수 있습니다. 왜냐하면 종종 논리적 방정식이 길고 화려한 모양을 갖기 때문입니다. 비슷한 모양의 법칙을 적용하면 줄일 수 있습니다.
원칙적으로 계산 및 식별의 편의를 위해특수 테이블이 사용됩니다. 그리드 직사각형의 일반적인 구조를 갖는 테이블 인 논리의 대수학의 모든 기존 법칙이 그려져 각 변수가 개별 셀로 분산됩니다. 방정식이 클수록 테이블을 사용하여 쉽게 대처할 수 있습니다.
