# test1.txt
# F = a'b + ab' + ab
# F = a + b (opitmized)

.i 2
.o 1
.ilb a b
.ob F

00 0
01 1
10 1
11 1