|
= null) break;
//top에 저장된 동치부류가 있으면 top.x 배열로 이동
else {
temp = this.equval[top.x];
top = top.equlink;
}
}
}
}
static void Main(string[] args)
{
Program pg = new Program();
pg.readEqu();
pg.printEqu();
}
}
//동치부류를 저장할 객체
public class equ{
public equ equlink;
public
|
|
|
동치_집합(현재노드,OR 트레이스);
return;
}
위의 의사코드에서 트레이스_테이블()은 트레이스 테이블의 엔트리를 하나 만드는 함수이다. 동치_집합()은 현재노드와 현재노드의 범위인 OR 트레이스를 이용해서 동치 집합(equivalence set)을 갱신하는
|
|
|
되고, 두 개의 입력이 서로 같으면 출력은 0이 된다고 생각해도 됩니다. X-NOR 연산은 X-OR 연산의 부정 출력을 내는 게이트로서 동치(equivalence) 게이트이라고 부른다.
X
Y
S
0
0
0
0
1
1
1
0
1
1
1
0
(논리 기호) (논리식) (진리표)
◆ 7486의 핀 배치도
|
|
|
동치 연산 (Equivalence operation)
0 ≡ 0 = 1, 0 ≡ 1 = 0, 1 ≡ 0 = 0, 1 ≡ 1 = 1
통치연산은 Exclusive-OR의 보수 형태(Exclusive-NOR)이다.
(X ≡ Y) = XY + XY
(X Y) = (XY + XY) = (X + Y)(X +Y)
= XY + XY = (X ≡ Y)
≡
X
Y
X
Y
X≡Y
XY
동치연산을 수행하는 논리 게이트
☞ 동치 연산
|
|
|
동치 분해(equivalence partitioning)기법
입력 조건이 여러 개의 동치 클래스(equibalence class)로 나뉜다.
※동치 클래스-서로 같은 부류에 속할 수 있는 자료의 집합.
목적
입력이 일정한 범위 안의 값을 가져야 한다면 최소한 세 게의 동치 클래스가
|
|
메뉴펼치기
