A -> (B ->c)
이게 풀면
A ^ B -> c  맞나요??
옛날에 본거 같은데 햇갈리넹