Language

a IMP b

Used to perform a logical implication on two expressions.

EQV and IMP manipulating only the lower 4 bits: