单边逻辑函数和桑努展开

本文定义了单边逻辑函数并讨论了它的一些重要性质，提出了通过递归分割。把一个任意函数化为单边函数的方法。从而给解决函数求补。判全域等逻辑综合问题提供了一条便捷的途径。