Nor r←b⍱c

r is the result of the scalar application of the nor function, b c b \overline\lor c .