有什么模块可以处理布尔表达式的？

adamz

1^# adamz 发表于 2007-12-10 18:55

比如

[Copy to clipboard] [ - ]

CODE:

(A&!B)|(!C&D&E)

和

[Copy to clipboard] [ - ]

CODE:

(A ^B)|(^C D E)

之类的？

Lonki

2^# Lonki 发表于 2007-12-10 19:56

正则替换后eval

adamz

3^# adamz 发表于 2007-12-11 09:29

但是我不求0或1的结果值...
原要求是这样的,有两组布尔表达式,在忽略 X和Y的情况下比较他们是否相等,意义上相等.
一组的形式是这样:

[Copy to clipboard] [ - ]

CODE:

(A|((C&!D)&E)|(!Y&X))

一组的形式是这样:

[Copy to clipboard] [ - ]

CODE:

(E*((C*~D)*~X)+A)

也就是说，布尔式的项的顺序不是固定的。要比较意义上的相等（在忽略指定项的情况下）。
怎么整呢？

Lonki

4^# Lonki 发表于 2007-12-11 13:08

貌似没有这个module.

一个可行的办法是全排列0|1作比较.
生成全排列参考Algorithm::Permute