# 부울함수간소화