bool p: [0,5) false; [5,6) true; [6,7) false; [7,8) true; [8,9) false; [9,11) true;
implicant in: [3,8-];
implicant out: [5.0,6.0-] [7.0,8.0-] [9.0,10.0-];