Redstone circuits/Logic/IMPLIES

A device which returns false only if the implication A → B is false. (This represents material implication or a conditional statement.) That is, (A → B) is false only if the antecedent A is true, but the consequent B is false. It is often read "if A then B". It is the logical equivalent of "B or NOT A", and the mathematical equivalent of (A<=B) (less than or equal to).



Design C has a speed of 2 ticks if output is 1, but 1 tick if the output is 0. If you must synchronize the output, consider placing a repeater in front of input A with a 1 tick delay.