부울 법

"고대"전자 컴퓨터를 기반으로 현대 컴퓨터, 운영의 기본 원칙과 같은 특정 가설에 의존합니다. 그들은 논리의 대수의 법칙이라고합니다. 최초의 분야는 대 그리스 아리스토 학자에 의해 (현재의 형태에서와 같이 확실히 상세한 생략) 기술되었다.

명제 수학을 연구하는 수학의 별도의 지점을 대표하는 논리의 대수는 잘 정렬 된 결과와 결론을 가지고 있습니다.

더 주제를 이해하기 위해, 로직의 대수의 법칙을 알고 미래에 도움이 될 것입니다 개념을 분석 할 수 있습니다.

연구 분야에서 아마도 주요 용어 - 문. 문 이런 종류의 참과 거짓을 모두 할 수 없습니다. 그는 이러한 특성의 하나는 항상 내재. 0, 호출 문 자체의 일부 - 따라서 조건부 진리 값 1 거짓 받아 나누어 : 라틴 문자 A, B, 즉 C.는, 공식 A = 1 명제 A가 진실하다는 것을 의미합니다. 문으로 여러 가지 방법으로 올 수 있습니다. 여러분은 그들과 함께 수행 할 수있는 작업에 대한 간략한 모습. 논리의 대수의 법칙이 규칙을 모르고 배울 불가능하다는 것을 유의하십시오.

두 문장의 1. 분리 - 작업 "또는"의 결과. 그것은 허위 또는 사실이 될 수 있습니다. 그것은 기호«브이»를 사용합니다.

2. 접속사. 두 문장으로 최선을 다하고 그러한 행위의 결과는 두 문장이 참 원래의 경우에만 새로운 문 true가됩니다. "및"작업, 기호 "*"를 사용합니다.

3. 의미. 동작 "A이면 B". "->"결과는 거짓 진술, 경우에만 진실과 거짓의 B. 적용 상징이다.

4. 등가. 동작«A를 경우에만 때 V 경우. " 두 변수가 같은 평가를 할 때이 문장은 사실이다. 기호를 사용하여 "<->".

이 암시와 동일한 조작의 시리즈는하지만,이 문서에서, 그들은 고려되지 않습니다.

이제 우리가 구체적으로 논리의 대수의 기본 법칙을 살펴 보자 :

1. 가환와 교환 적 상태된다는 효과의 결과의 결합 또는 분리의 논리 연산 조건의 변화.

2. 연관 또는 연관. 이 법에 따라 결합 및 분리의 동작의 변수를 그룹화 할 수있다.

3. 배포 또는 배포. 법의 본질은 방정식에서 같은 변수가 로직을 변경하지 마십시오, 괄호 밖으로 할 수 있습니까.

4. 드 모건의 법칙 (반전 또는 부정). 부정 조작이 함께 부정 입력 변수의 분리와 동등하다. 논리합의 부정은, 차례로, 동일한 부정 변수의 결합과 동일하다.

5. 더블 네거티브 (Double Negative). 그의 거부 - 성명의 부정을 두 번 원래의 문, 세 번 발생합니다.

6. 법은 멱등 논리 가산을 위해 다음과 xvxvxvx = X; 곱셈 : X ^ X ^ X = X ^.

7. 비 모순의 법칙 상태 : 두 문장을, 그들은 모순 된 경우, 같은 시간에 사실 수 없습니다.

8. 제외 중간의 법칙. 두 모순 된 진술 한 중 - 항상 true이고, 다른 하나는 - 거짓, 아니 세 번째 없다.

9. 흡수 법은 논리 첨가하는 방식으로 기록 될 수있다 : XV (X ^ Y) = X의를, 곱셈, X ^ (xvy) = X에있다.

10. 법의 결합. 인접한 두 접속사 낮은 랭크의 결합을 형성 뭉쳐있게된다. 때 원래 접속사가 사라 붙어있는 변수입니다. 논리적 또한 예제 :

(X ^ Y) V (-x ^ Y) = Y.

종종 논리 방정식이 유사한 법률의 숫자를 적용하여 절단 할 수 길고 화려한 외관, 될대로 우리는 실제로 더 많은 수 있습니다 로직의 대수의 가장 일반적인 법칙을 고려했다.

계산 및 특수 테이블을 사용하여 결과를 식별의 편의를 위해 규칙으로. 논리의 대수의 기존의 모든 법률, 별도의 셀에 각각의 변수를 배포하여 그린 그리드 사각형의 일반적인 구조를 가지고 테이블. 식 클수록 쉬워 테이블을 이용하여 대처한다.