111,126
社区成员
发帖
与我相关
我的任务
分享的模型衍生，以下的模型都是这样的属于(a+b)+c
的模型衍生，以下的模型都是这样的属于(a+b)+c
(a+b)|c
(b+c+d+f)|a
(b+c+f+(g+h)[2])|i+j+k +l+m
我如何写一个这样的推导，来判断是属于这样的模型，这里肯定有一个推导的算法？谢谢！
(a+b)|c
(b+c+d+f)|a
(b+c+f+(g+h)[2])|i+j+k +l+m
我如何写一个这样的推导，来判断是属于这样的模型，这里肯定有一个推导的算法？谢谢！
...全文
请发表友善的回复…
发表回复
