OR gate
formula_1 is the analytical representation of OR gate: