如何编写一个程序判断一个式子是主析取范式？

您所在位置：社区首页 — 大学计算机专业课程 — 如何编写一个程序判断一个式子是主析取范式？

主题：如何编写一个程序判断一个式子是主析取范式？

wei126 [专家分：0] 发布于 2005-04-10 20:57:00

沙发

xielidan1 [专家分：30] 发布于 2005-04-11 13:39:00

我也需要这样的程序，可是还没什么头绪。

板凳

wgplovewull [专家分：30] 发布于 2005-06-20 09:27:00

是判断呢还是求结果啊！？

3 楼

骑猪去兜风 [专家分：20] 发布于 2005-06-29 14:09:00

看它每个被析取的式子是否是每个原子命题或其非形式的合取

4 楼

liangzige222 [专家分：0] 发布于 2006-01-15 11:15:00

我也是一直在找
难道真的没有人能编出来吗？

您尚未登录，请登录后再回复。点此登录或注册