순환 논리
Problem 209
출제 일시 : 2020-09-30 00:03:02, ☕ 12
k입력 진리표는 k 비트(이진수 단위, 0 [거짓] 또는 1 [참] 값)의 입력을 1 비트의 출력으로 사상(mapping)한 것입니다. 예를 들어, 논리 함수 AND와 XOR에 대한 2입력 진리표는 다음과 같습니다:
| x | y | x AND y |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
| x | y | x XOR y |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
6입력 진리표 τ 중에서 다음 식을 만족하는 것은 몇 가지입니까?
τ(a, b, c, d, e, f) AND τ(b, c, d, e, f, a XOR (b AND c)) = 0
어떠한 6비트 입력 (a, b, c, d, e, f)에 대해서도 성립해야합니다.