布尔公式分解

resolution of Boolean formula