bool p: [0,1) true; [1,3) false; [3,4) true; [4,4] false; (4,6) true; [6,7) false; 
bool q: [0,1) false; [1,6) true; [6,7) false;
implicant in: [3,4];
implicant outP: [3.0+,4.0-] [4.0+,6.0-];
implicant outQ: [4.0,4.0] [6.0-,6.0-];
