통합검색

스위치의 연결을 식으로 바꾸면 회로를 더 간단히 만들 수 있을까?

클로드 섀넌은 전기가 흐르는 길을 0과 1의 기호로 옮겨, 같은 동작을 하는 여러 릴레이 회로를 식으로 비교했다. 직렬 연결은 두 조건이 모두 맞을 때, 병렬 연결은 어느 한 조건만 맞아도 닫히는 구조다. 세 입력 회로를 진리표로 검산하고, 식을 묶어 접점 수를 줄이는 과정과 실제 장치에서 따로 확인해야 할 조건을 살펴본다.

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

표시등이 꺼졌으니 연결되지 않았다고 말해도 될까?

한 방향 조건문과 필요충분 규칙, 관찰 사실을 바꾸어 가능한 경우와 필연 결론, 잘못된 역추론을 구분합니다.

forall x: Calgary, Chapter 9: Characteristic truth tables

지원 자격을 갖췄으니 합격이 확정됐을까?

필요·충분·필요충분 규칙과 자격·합격 사실을 바꾸어 가능한 경우, 합격 결론과 역방향 반례를 다시 계산합니다.

Necessary and Sufficient Conditions

‘회의실이나 온라인으로 참여’에서 회의실을 골랐으면 온라인은 금지일까?

포함적·배타적 ‘또는’과 직접 확인한 사실을 바꾸어 가능한 참·거짓 조합, 모순과 필연적으로 따라오는 결론을 다시 계산합니다.

forall x: Calgary — Connectives and characteristic truth tables