The logical expressions automated derivation arithmetic based on the binary tree

• 一种利用二叉树来实现逻辑表达式自动推导的算法