| The
electronic circuits domain |
|
|
|
|
|
|
|
|
|
|
| 5. | Encode the
specific problem instance |
||||||||
| Type(X1)
= XOR Type(X2) = XOR |
|||||||||
| Type(A1)
= AND Type(A2) = AND |
|||||||||
| Type(O1)
= OR |
|||||||||
| Connected(Out(1,X1),In(1,X2)) Connected(In(1,C1),In(1,X1)) |
|||||||||
| Connected(Out(1,X1),In(2,A2)) Connected(In(1,C1),In(1,A1)) |
|||||||||
| Connected(Out(1,A2),In(1,O1))
Connected(In(2,C1),In(2,X1)) |
|||||||||
| Connected(Out(1,A1),In(2,O1))
Connected(In(2,C1),In(2,A1)) |
|||||||||
| Connected(Out(1,X2),Out(1,C1))
Connected(In(3,C1),In(2,X2)) |
|||||||||
| Connected(Out(1,O1),Out(2,C1))
Connected(In(3,C1),In(1,A2)) |
|||||||||
