与门
formula_2 is the analytical representation of AND gate: