(interval inter1 [0](0,10)[10,12.5) )
(interval inter2 : [0](0,10)[10,12.5)(90,100) )
(bool bool1 : [0]t(0,10)f [10,12.5)t, (90,100)f )
(implicant in: [0,1-] [3.5,3.5] [7+,8-] [8+,8.5] )
(implicant out: [0-,1-] [3.5-,3.5+] [7+,8-] [8+,8.5+] )
