⍲ Nand r←b⍲c

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