逻辑函数y=AB (A B)C