[nothrabannosir]

No, operators have English names resembling their semantics for that reason. AND(x, y) is only true if x and y are true. OR(x, y) is only true if x or y is true (inclusive). Etc.

If you're just going to remember truth tables, throw those names to the wind. You might as well call them P and Q. But we don't, because OR and AND and XOR make sense.

It looks like he introduces these truth tables (sec 27), where, to be fair, he does say this:

> The terms (and, or, not) actually work the way you expect them to, just like in English.

And then he asks you to practice memorizing the tables until you know them intuitively.