BoolStuff 0.1.14

BoolStuffはブール式バイナリ木にいくつかの操作をサポートすることができますCライブラリです。も用意されてDNFに式を変換するには、このライブラリを呼び出すコマンドの名前booldnf のの特徴：ます。 シンプルブール式パーサーは（括弧だけでなく、演算子をサポートしてAND、OR、およびNOT）; は、その論理和標準形にブール式バイナリツリーを変換するためのアルゴリズムが（このアルゴリズムは、NOT演算子をサポートしています）; 式ツリーがDNFにあるかを決定する関数ます。 ...