Eternity Async Tutoring

Yeah. Notice also the or(x,x) truth table is smaller.

Make a truth table with the following columns (I’ll use s-expression notation this time to emphasize that content and notation are independent):

x
(identity x)
(not x)
(or x x)
(and x x)
(xor x x)
(implies x x)