4자리 비트와 규칙 3개가 있습니다.

각 자리의 비트는 0또는 1 값을 가질 수 있습니다. 아래 규칙에서 *은 0 또는 1 아무 값을 의미합니다. 

규칙1: 11** -> 1
규칙2: 0*1* -> 1
규칙3: *0*1 -> 1

문제: **11 -> 1인가?

이 논리압축문제를 풀 수 있는 알고리즘이나 밀접하게 관련된 구체적인 분야좀 알려주실 수 있을까요ㅠ

정확하게는 이 문제를 단순히 check하는 게 아니라 규칙1,2,3으로부터 **11->1을 유도하는 알고리즘을 짜야하는데 관련 자료를 찾는게 너무 어렵네요..