bool p: [0,10) false;
bool q: [0,3) false; [3,4) true; [4,7) false; [7,8) true; [8,10) false;
implicant in: [3,4-];
implicant outP: [3.0,3.0] [3.0+,4.0-];
implicant outQ: [3.0,3.0] [3.0+,4.0-];