条件式をプログラムで分割する

Question

長い条件式を独立したステートメントに分割する既知の方法（ある場合）を探しています。

*IF ( 
    (*VALUE K01_PROCESS_COUNTS.Process_Name *EQ 'python' 
    *OR *VALUE K02_PROCESS_COUNTS.Process_Name *EQ 'java') 
    *AND 
    (*VALUE K01_PROCESS_COUNTS.Process_Count *LT 1 
    *OR *VALUE K02_PROCESS_COUNTS.Process_Count *LT 2) 
) 

が、私はこの文のすべての可能な組み合わせが真実であることを取得したい：

は例えば、私はこの長い表現を持っています。私は最初からこれを行うには考えていたが、私は思っていた

*IF ((*VALUE K01_PROCESS_COUNTS.Process_Name *EQ 'python') 
    *AND (*VALUE K01_PROCESS_COUNTS.Process_Count *LT 1)) 
*IF ((*VALUE K01_PROCESS_COUNTS.Process_Name *EQ 'python') 
    *AND (*VALUE K02_PROCESS_COUNTS.Process_Count *LT 2)) 
*IF ((*VALUE K02_PROCESS_COUNTS.Process_Name *EQ 'java') 
    *AND (*VALUE K01_PROCESS_COUNTS.Process_Count *LT 1)) 
*IF ((*VALUE K02_PROCESS_COUNTS.Process_Name *EQ 'java') 
    *AND (*VALUE K02_PROCESS_COUNTS.Process_Count *LT 2)) 

：私は組み合わせのフルセットを持っています

*IF (
    (*VALUE K01_PROCESS_COUNTS.Process_Name *EQ 'python') 
    *AND (*VALUE K01_PROCESS_COUNTS.Process_Count *LT 1 
    *OR *VALUE K02_PROCESS_COUNTS.Process_Count *LT 2)) 
*IF ( 
    (*VALUE K02_PROCESS_COUNTS.Process_Name *EQ 'java') 
    *AND (*VALUE K01_PROCESS_COUNTS.Process_Count *LT 1 
    *OR *VALUE K02_PROCESS_COUNTS.Process_Count *LT 2)) 

そして二度目に：手動で私が最初に時間を反復処理し、これを取得することができますこのタイプの操作に利用できるアルゴリズムはありますか？私はしばらく検索してきましたが、私はそれを見つけることができません。私はJavaで作業していますが、他の言語でも動作します。

ありがとうございます！

Answer 1

文を解析してから、かなり単純な再帰アルゴリズムを適用して用語を拡張する必要があります。

to expand L *AND R: 
    for l in expand(L): 
     for r in expand(R): 
      yield l *AND r 

to expand L *OR R: 
    for l in expand(L): 
     yield l 
    for r in expand(R): 
     yield r 

Goでの完全な実装については、https://github.com/eisenstatdavid/misc/blob/master/2017-02-10/dnf.goを参照してください。実装はまた、*NOTを解析し、De Morganの法則を使用して式を単純化します。