규칙이 충돌할 때, 무엇부터 빼야 할까?

그림에서 무엇을 볼까요?

조명 A, A이면 팬 B, 팬은 끔이라는 세 규칙이 충돌한다. 항상 참인 네 번째 규칙을 빼도 모순은 남는다.

LTCT의 가상 전시실에는 조명 A와 팬 B가 있습니다. ① 조명은 켠다, ② 조명을 켜면 팬도 켠다, ③ 팬은 끈다, ④ 조명은 켜거나 끈다는 규칙을 놓았습니다. 장치 상태는 둘 다 끔, 팬만 켬, 조명만 켬, 둘 다 켬의 네 가지뿐입니다. 아래 진리표는 각 상태를 빠짐없이 검사합니다.

먼저 ④만 빼 보세요. 가능한 상태는 여전히 0개입니다. 이제 ①·②·③ 중 어느 하나를 빼면 적어도 한 상태가 살아납니다. 예를 들어 ②를 빼면 조명만 켜는 상태가 가능합니다. 이로써 세 규칙은 더 줄일 수 없는 충돌 묶음이 됩니다.