or gate: ---------------- position on output_next [-] position on input a [ position on output_next + position on a [-] ] position on input b [ position on output_next [-] + position on a ]