逻辑函数及简化

- - - 逻辑函数及简化 - - - - con