IMPLYゲート
IMPLYゲート は論理包含の論理ゲートである。論理含有と同じく、AならばBの真理値表に対応した論理ゲートであり、A→Bは¬A OR Bに対応する。他の論理ゲート(AND、OR、XOR)とは異なり、2つの入力は区別される。