First-Order Logic Knowledge Interchange Format (KIF)

Knowledge Systems Laboratory, Stanford University

Circuit C1 Representation

uGates

(Type X1 XOR) (Type X2 XOR)

(Type A1 AND) (Type A2 AND)

(Type O1 OR)

uConnections

(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))