f= a\'c\'d + a\'bd + a\'bc + b\'c\' + b\'d\' + cd\' 이것이 합의 정리를 이용하면 f = a\'bd + b\'c\' + cd\' 가 된다는데 모르겠습니다. -_-;