逻辑函数化简

• logic function