2011-07-21 50 views
2

任何人都可以推薦軟件(最好用於mac)或基於web的工具,可以用來評估邏輯表達式嗎?測試邏輯表達式的工具

比如我想能夠快速測試是否像兩個表達式:

$a = 'foo'; 
$b = 'bar'; 
$c = 'foo'; 

(!(($a == $c) && ($b == $c))) 

// and 

(($a != $c) || ($b != c$)) 

是可以互換的或沒有。

而且,關於如何構建這樣的表達式,通常還會有一個商定的最佳實踐嗎?例如,要儘量減少使用否定,元素的順序或類似的東西?

有時候我發現自己掙扎了一下這些事情:)

回答

0

您可以使用類似http://www-cs-students.stanford.edu/~silver/truth/和比較生成的真值表。

+0

感謝那是有用的,但它需要一些工作,但。如果我理解正確,我必須重寫我的例子:(a&b)和(a | b),然後比較這些真值表,並自己否定後者的輸出。但是一旦我完成了這項工作,我已經完成了我想要避免的事情。我希望能夠直接在我的示例中設置輸入字符串。 – mikkelbreum