Lably
Skip to content

NIMPLY gate

  • 1 min read
  • 2 chapters

Related on Lably

Through Logic gate

LabBinary and Logic GatesLabLogic Gates & Boolean AlgebraLab · Class 6–12Build a World & Wire Logic (Blockworld)

Symbols

A right-facing arrow with a line through it (↛) can be used to denote NIMPLY in algebraic expressions. Logically, it is equivalent to material nonimplication, and the logical expression A ∧ ¬B.

Sign in to keep reading

One more chapter is free with a Lably account.

More in Foundations

If and only ifLogical connectiveTupleFinite ordered list of elementsCategory (mathematics)Collection of objects and morphismsCartesian productMathematical set formed from two given setsEquivalence classMathematical conceptTuring machineComputation model defining an abstract machine