LMD Async Tutoring

Next in Eternity’s thread:

and(x, y, z) = and(x and(y z)) or and(y and(x z)) or and(z and(y x))

Okay nand in english would be: not a and b and c. Like “it’s not raining and cold and windy today”. In that case it’d be nand(raining, cold, windy) or not(and(raining and(cold windy))) etc. So it’s saying today the weather is not all of those things but could be any other combination of them (including none of them).

Actually thinking about it I think you mean to do the one sentence explanations like we did before? In that case:

nand:
True unless all inputs are true, then false.

nor:
False unless all inputs are false, then true.