I feel you may need to re-do the equations, (if you are using truth table from other post), brackets should be included because (A*B)+C is different from A*(B+C), also this is a light for a cross- road section correct, ie the roads form a + shape? If so then PV(or step 1) = needs to include the green condition for one way PLUS the red condition for the other way. (cant tell if you included it in PV or not)
in the PV equation you say PV is true no matter what condition of B input which is not the case in truth table , *B' needs to be included