# test2.txt
# F1 = w'x'y'z' + w'x'y'z + w'xy'z' + w'xy'z +
#      wx'y'z' + wx'y'z + wxy'z' + wxy'z
# F1 = y' (optimized)

.i 4
.o 1
.ilb w x y z
.ob F1

0000 1
0001 1
0010 0
0011 0
0100 1
0101 1
0110 0
0111 0
1000 1
1001 1
1010 0
1011 0
1100 1
1101 1
1110 0
1111 0