Finally, their applications in the logic synthesis based on the partial linear function and calculating Boolean difference of logical functions are discussed.

• 最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用。