AND gate
ANDゲートの入力を "A" と "B"、出力を "C" とすると、formula_1 という論理式を実装していることになる。