if / else 블록을 사용하여 진리표를 가장 작은 것으로 바꾸는 방법

진리표를 가져 와서 압축 된 if 블록으로 바꾸려면 어떻게해야합니까?

예를 들어 A와 B가 조건이고 x, y 및 z가 가능한 조치 인이 진리표가 있다고 가정 해 봅시다.

A B | x y z
-------------
0 0 | 0 0 1
0 1 | 0 0 1
1 0 | 0 1 0
1 1 | 1 0 0

블록이면 아래와 같이 변환 될 수 있습니다.

if(A)
{
    if(B)
    {
        do(x)
    }
    else
    {
        do(y)
    }
}
else
{
    do(z)
}

이것은 쉬운 샘플이지만, 다른 방식으로 결합 된 여러 가지 조건이 종종 다른 출력을 생성해야하며 if 블록에서 논리를 표현하는 가장 압축되고 우아한 방법을 파악하기가 어렵습니다.

Karnaugh 맵에서 디자인하는 경우 코드도 다음과 같이 보일 수 있습니다.

//                   a      b
def actionMap = [ false: [false: { z() },
                          true:  { z() }],
                  true:  [false: { x() },
                          true:  { y() }]]

actionMap[a][b]()

C # .NET에서는 Dictionary 클래스를 사용하여 다음과 같이 IF ELSE없이 결과를 얻을 수 있습니다. 이에 대한 좋은 점은 다음과 같습니다.

1. 읽을 수있다
2. 새 키는 고유합니다 (그렇지 않으면 오류가 발생 함)
3. 순서는 중요하지 않습니다
4. 쉬운 항목 추가 또는 제거

Dictionary Class에 해당하지 않는 경우 이진 조회 / 검색 기능에서 동일한 기능을 수행 할 수 있습니다.

//A B | x y z
//-------------
//0 0 | 0 0 1
//0 1 | 0 0 1
//1 0 | 0 1 0
//1 1 | 1 0 0
// Create a Dictionary object and populate it
Dictionary<string, string> _decisionTable = new Dictionary<string, string>() { 
    { "0,0", "0,0,1" }, 
    { "0,1", "0,0,1" }, 
    { "1,0", "0,1,0" }, 
    { "1,1", "1,0,0"} 
};

//usage example: Find the values of X,Y,Z for A=1,B=0
Console.WriteLine(_decisionTable["1,0"]);
Console.Read();

당신이 원하는 것은 Rete 알고리즘 입니다. 이렇게하면 일련의 규칙이 자동으로 결합되어 사용자가 설명하는 방식으로 규칙이 트리에 우선 순위로 지정됩니다.

실행 속도가 필수적인 대규모 (수백만 개의 규칙)에서이를 수행하는 많은 상용 "규칙 엔진"시스템이 있습니다.

여기에 라이브러리가 있습니다 :) 그리고 당신은 당신이 관심있는 필드 만 전체 K 테이블을 전달할 필요가 없습니다. 더 많은 연산자를 사용하려면 다시 작성할 수 있어야합니다. 여러 개의 인수를 사용할 수 있습니다. 에 작성하여 python테스트했습니다.

def x():
    print "xxxx"

def y():
    print "yyyyy"

def z(): #this is default function
    print "zzzzz"

def A():
    return 3 == 1

def B():
    return 2 == 2


def insert(statements,function):
    rows.append({ "statements":statements, "function":function })

def execute():
    for row in rows:
        print "==============="
        flag = 1

        for index, val in enumerate(row["statements"]):
            #for first pass of lopp, index is 0, for second its 1....
            #if any function returns result different than one in our row, 
            # we wont execute funtion of that row (mark row as not executable)
            if funcs[index]() != val:
                flag = 0

        if flag == 1:
            #we execute function 
            row["function"]()
        else: z() #we call default function


funcs = [A,B]  #so we can access functions by index key
rows = []

insert( (0,0), y)
insert( (0,1), y)
insert( (1,0), x)
insert( (1,1), x)
insert( (0,1), x)

execute()

입력을 단일 값으로 맵핑 한 후 켜십시오.

#define X(a, b) (!!(a) * 2 + !!(b))
switch(X(A, B)) {
case X(0, 0):
    ...
    break;
case X(0, 1):
    ...
    break;
case X(1, 0):
    ...
    break;
case X(1, 1):
    ...
    break;
}
#undef X

함수 포인터를 포함하는 조회 테이블은 일부 상황에서 잘 작동 할 수 있습니다. 예를 들어 C에서는 다음과 같이 할 수 있습니다.

typedef void(*VoidFunc)(void);

void do(int a, int b)
{
    static VoidFunc myFunctions[4] = {z, z, y, x}; // the lookup table

    VoidFunc theFunction = myFunctions[ a * 2 + b ];
    theFunction();
}

이것은 테이블의 항목 수가 2 ^ n이어야하기 때문에 입력 수가 상대적으로 적을 때 좋은 솔루션입니다. 여기서 n은 입력 수입니다. 7 개 또는 8 개의 입력을 관리 할 수 ​​있으며 10 개 또는 12 개가 추악 해지기 시작합니다. 입력이 많으면 먼저 다른 방법 (예 : Karnaugh 맵)으로 단순화하십시오.

"Gorgeous Karnaugh"소프트웨어를보십시오-샘플과 같은 진리표를 정확하게 받아 들일 수 있고, 분석 부울 공식 정의를 받아들이고, 진리표를 만들기 위해 Lua 스크립팅을 받아 들일 수 있습니다. 다음으로 "Gorgeous Karnaugh"소프트웨어는 입력을 위해 K-Maps를 가져와 수동으로 또는 "Espresso"로직 최소화기를 사용하여 C / C ++ 및 일부 하드웨어 언어에 대한 출력을 생성 할 수 있습니다. 요약을 봐는 "화려한 카르노"페이지의 기능 - http://purefractalsolutions.com/show.php?a=xgk/gkm