# test3.txt
# In this file we introduce do not care's, these are specified in the input file
# with a "-"

# a  b  c  | out
# ---------+----
# 0  0  0  | dc
# 0  0  1  | 1
# 0  1  0  | 1
# 0  1  1  | 1
# 1  0  0  | dc
# 1  0  1  | 1
# 1  1  0  | 0
# 1  1  1  | 0
#
# F = a' + b' (optimized)
#

# ------------------------------
# Specify num inputs/outputs
# ------------------------------

.i 3
.o 1
.ilb a b c
.ob out


# ------------------------------
# Truth table
# ------------------------------

000 -
001 1
01- 1
100 -
101 1
110 0
111 0

# remember the user has the option to use or not use the end of file marker
.e