Nand r←b⍲c

r is the result of the scalar application of the nand function, b c b \overline\land c .