부울 함수의 함축 이해

Implicant는 부울 함수의 변수 간의 논리적 관계를 나타내는 방법입니다. 본질적으로 암시자는 다른 변수의 값을 논리적으로 결정하는 변수의 하위 집합입니다. :

1. {x,y} - 이 암시는 z가 참이어야 함을 의미합니다. 왜냐하면 x와 y가 모두 참이면 z도 참이어야 하기 때문입니다.
2. {z} - 이 암시는 x와 y가 거짓이어야 함을 의미합니다. 왜냐하면 z가 참이면 x와 y는 거짓이어야 하기 때문입니다.
3. {x,z} - 이 암시는 y가 거짓이어야 함을 의미합니다. 왜냐하면 x와 z가 모두 참이면 y는 거짓이어야 하기 때문입니다.

이러한 암시는 중복 변수 및/또는 절을 제거하여 함수를 단순화하는 데 사용될 수 있습니다. 이 경우 다른 두 절에 이미 암시되어 있으므로 함수에서 z 절을 제거할 수 있습니다. 따라서 단순화된 함수는 다음과 같습니다:

f(x,y) = x ∧ y

이것은 단순한 예일 뿐이지만 암시자의 개념은 훨씬 더 복잡한 함수에도 적용될 수 있습니다. 부울 함수의 변수 간의 논리적 관계를 설명하며 중복 변수 및/또는 절을 제거하여 함수를 단순화하는 데 사용할 수 있습니다.