Following Along Async Tutoring [Dface]

[Dface]

@Elliot

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)

My table:

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

@Elliot

So you see how the functions with 2 inputs become special cases when the inputs are the same?

I don’t know what special case means(i looked at two dictionaries for a little bit). My first thought is that special case means something different that happens from the usual. Like, functions with the same inputs have the same outputs as functions with one variable. That doesn’t happen if the inputs are different for a function.

@Elliot

They don’t have any more information available than when receiving 1 input, so they actually have to give the same outputs as one of the functions that takes only 1 input.

Oh can I describe functions like or(x x) as a function that only takes one input? that makes sense