# nova lect24nv.in
.model lect24nv.in.esp
.start_kiss
0 white white 0
1 white yellow 0
0 yellow orange 0
1 yellow yellow 0
0 orange white 0
1 orange red 0
0 red orange 0
1 red yellow 1
.end
.end_kiss
#
# Prod.-terms of minimized MV cover = 5
# Prod.-terms of encoded cover = 4
# Pla area = 36
#
# .start_codes
.code white 00
.code yellow 10
.code orange 01
.code red 11
# .end_codes
#
# .start_network
.inputs v0
.outputs v3.2
.latch v3.0 v1 0
.latch v3.1 v2 0
.latch_order v1 v2
.names v0 v3.0
1 1
.names v0 v1 v2 v3.1
01- 1
101 1
.names v0 v1 v2 v3.2
111 1
# .end_network
#
# CPU time = 0.0 seconds