오랜만에 보는데 헷갈리는데

(p->(q v r))->q v r


이거 간단화 어케했더라


여기서 더 되지않나