逻辑函数形式的变换