AND gate
formula_2 is the analytical representation of AND gate: