진리표에서 신뢰할 수 있는 논리로: 안전한 디지털 설계를 위한 불 식 마스터하기

엔지니어가 디지털 시스템을 설계할 때, 원하는 논리 동작을 정의한 진리표에서 시작하는 것이 일반적입니다.

과제는 논리 게이트, 릴레이 어셈블리, 프로그래머블 컨트롤러 중 어떤 회로가 그 동작을 충실히 구현할지 선택하는 것입니다.

숙련된 설계자는 진리표를 하드웨어 솔루션으로 즉각 매핑할 수 있지만, 모든 엔지니어가 따를 수 있는 체계적 기법이 존재합니다.

불 대수는 어떤 진리표든 기능적 회로로 변환하는 명확한 단계별 방법을 제공합니다.

이 과정을 설명하기 위해 현실적인 엔지니어링 문제를 생각해 봅시다: 독성 폐기물 소각로의 화염 감지 시스템 설계.

고온 연소로 유해 폐기물을 중화합니다. 이 방법은 치명적 병원체를 옮길 수 있는 의료 폐기물에 흔히 쓰입니다.

 

 

소각로에 화염이 지속되는 한 폐기물 주입은 안전합니다. 화염이 꺼지면 남은 폐기물이 중화되지 않은 채 배기구로 배출되어 심각한 보건 위험을 초래합니다.

따라서 우리 시스템은 화염이 확인된 경우에만 폐기물 주입을 허용하는 확실한 화염 감지기가 필요합니다.

화염 감지는 광학, 열, 전기 전도 센서로 가능하며 각각 장단점이 있습니다.

위험도가 높아 중복 감지가 필요합니다: 단일 장애가 안전하지 않은 작동을 유발하지 않도록 다중 센서 필요.

각 센서는 화염 감지 시 닫히는 상시 개방 접점을 제공하며, 이 접점들이 논리 시스템의 입력이 됩니다.

 

 

목표는 센서가 화염을 확인할 때만 폐기물 밸브를 여는 논리를 구축하는 것입니다.

먼저 논리 동작을 정의해야 합니다. 단일 센서로 충분할까요? 아니요—3개 센서 중 하나만 화염을 보고해도 밸브가 열리면 중복성과 안전성이 무너집니다.

대신 세 센서가 모두 동의해야 밸브가 열리도록 합니다. 이 방식이면 단일 거짓 '화염' 판독으로 밸브가 열린 상태를 유지할 수 없으며, 세 센서가 동시에 고장나야 하는데 이는 극히 드문 일입니다.

결과적으로 진리표는 단순합니다: 입력 A, B, C가 모두 높을 때만 출력이 높습니다.

 

 

이 기능은 3입력 AND 게이트로 쉽게 구현되며, 모든 입력이 높을 때만 높게 출력합니다.

 

 

릴레이를 사용하면 센서 접점을 직렬로 연결하거나 릴레이 접점을 직렬로 배선해 AND 동작을 구현할 수 있습니다—모든 센서가 화염을 확인할 때만 전원이 밸브에 도달합니다.

 

 

이 설계는 안전성을 극대화하지만, '화염 거짓 음성' 장애에 취약합니다: 실제 화염을 감지하지 못하는 센서가 불필요하게 밸브를 닫아 연료 낭비와 가동 중단을 초래합니다.

이상적으로는 거짓 음성 센서 하나를 허용하면서 거짓 양성 오류는 방지하는 논리 시스템이 필요합니다. '3중 2개' 규칙이 두 요구를 모두 충족: 최소 두 센서가 화염을 보고하면 밸브가 열립니다.

해당 논리의 진리표:

 

 

곱의 합(SOP) 사용

어떤 회로가 이 진리표를 구현할지 처음에는 명확하지 않습니다. 곱의 합(SOP) 형태의 불 식이 이를 해결합니다.

SOP 식은 곱 항들의 합으로, 각 곱은 변수나 그 보수의 논리곱입니다.

예: ABC + BC + DF는 'ABC', 'BC', 'DF'가 곱 항인 간단한 SOP입니다.

진리표에서 SOP를 생성하려면 출력이 높음(1)인 모든 행을 나열하고, 해당 입력에서 1이 되는 곱 항을 작성하세요.

A=0, B=1, C=1인 행을 고려하면 곱 항은 A′BC이며, 이 정확한 조건에서만 1이 됩니다.

 

 

나머지 높은 행들에서 세 개의 곱 항이 더 나옵니다:

 

 

이들을 논리 OR로 결합하면 3중 2개 논리의 완전한 SOP 식:

 

 

SOP를 얻으면 회로 설계는 직관적: 각 곱 항을 AND 게이트에 매핑하고, 이 게이트들의 OR로 최종 출력을 만듭니다.

 

 

올바르지만 회로가 클 수 있습니다. 불 대수로 식을 크게 단순화할 수 있습니다.

 

 

단순화된 식으로는 같은 기능을 유지하면서 게이트나 릴레이로 더 간결한 논리를 구성할 수 있습니다.

 

 

이 두 간소화 회로 중 어느 것이든 3중 2개 화염 확인을 기반으로 소각로 폐기물 밸브를 신뢰성 있게 제어합니다.

센서 불일치(세 입력이 동일하지 않은 조건)를 감지하는 논리를 추가해 안전성을 더 높일 수 있습니다.

모든 센서가 정상 작동하면 모두 낮음(000) 또는 모두 높음(111)을 읽어야 합니다. 다른 조합(001, 010, 011, 100, 101, 110)은 불일치와 잠재적 고장을 나타냅니다.

이러한 불일치로 알람을 트리거하면 운영자가 계속 운전할지 안전 위해 정지할지 판단할 수 있습니다.

'센서 불일치' 감지기를 설계하려면 진리표에 알람 신호를 나타내는 추가 출력 열을 확장합니다.

 

 

이 열의 SOP를 생성하려면 여섯 곱 항이 필요—번거롭고 오류 발생 가능.

 

 

합의 곱(POS) 사용

높은 행을 합하는 대신, 낮은 행을 포착하는 합의 곱(POS) 식을 구성해 항 수를 줄일 수 있습니다.

POS 식은 변수들의 합(OR 항)들을 곱합니다. 예: (A + B)(C + D).

먼저 출력이 낮음(0)인 행을 찾고, 해당 입력 조건에서 0이 되는 합 항을 작성합니다.

첫 행(A=0, B=0, C=0)의 경우 합 항은 (A + B + C)로, 세 입력이 모두 0일 때만 0이 됩니다.

 

 

다른 0 출력 행은 A=1, B=1, C=1 하나뿐입니다. 해당 합은 (A′ + B′ + C′).

 

 

완전한 POS 식은 이 두 합의 곱:

 

 

SOP가 AND 게이트들이 단일 OR 게이트에 공급되는 구조에 자연스럽게 매핑되듯, POS는 OR 게이트들이 단일 AND 게이트에 공급되는 구조에 매핑됩니다.

 

 

또는 POS의 릴레이 구현은 게이트 구성을 반영해 병렬 접점들을 직렬로 연결합니다.

 

 

이 두 회로는 센서 불일치 논리만 보여주며, 전체 시스템은 '정상 화염'과 불일치 감지기를 결합합니다.

PLC 구현에서 전체 논리는 다음과 같을 수 있습니다:

 

 

SOP와 POS 형태 모두 진리표에서 기능적 논리를 도출하는 강력한 도구입니다. 결정론적이고 자동화 가능한 설계를 가능하게 하므로 컴퓨터가 사양만으로 맞춤형 논리 회로를 생성할 수 있습니다.

변환 과정이 직관적이어서 최소한의 창의성만 필요하며, 설계자는 상위 수준의 안전성과 성능 문제에 집중할 수 있습니다.

복습:

• 곱의 합(SOP) 식은 높은 출력을 가진 행을 나열하고 각 행에 곱 항을 만들어 합함으로써 구성됩니다.
• SOP는 AND 게이트들이 단일 OR 게이트에 공급되는 구조에 매핑됩니다.
• 합의 곱(POS) 식은 낮은 출력을 가진 행을 나열하고 각 행에 합 항을 만들어 곱함으로써 구성됩니다.
• POS는 OR 게이트들이 단일 AND 게이트에 공급되는 구조에 매핑됩니다.

관련 워크시트:

• 곱의 합과 합의 곱 표현 워크시트
• 불 대수 워크시트