bool p: [0,1) false; [1,3) true; [3,4] false; (4,6) true; [6,6] false; (6,7) true; [7,8) false; [8,8] true; (8,9) false;
bool q: [0,3) false; [3,9) true;
implicant in: [0,1-];
implicant outp: [0,1-];
implicant outq: [0,1-];