#The test .bench file to BETOPOX project

#inputs

INPUT G1
INPUT G2
INPUT G7
INPUT G8

#outputs

OUTPUT G30
OUTPUT G31

#rules

G10=AND(G1,G2)
G11=AND(G1,G7)
G12=AND(G7,G8)
G30=AND(G10,G11)
G31=AND(G11,G12)

