或门
formula_1 is the analytical representation of OR gate: