Following Along Async Tutoring [Dface]

[Dface]

@Elliot

Can you come up with a universal set of logic operators that is smaller than {and, or, not}? How can you determine if a set of logic operators is universal (both in general or the easier version: using as a premise that {and, or, not} is universal)?

Idk what universal means but i think i know what a

@Elliot

set of logic operators that is smaller than {and, or, not}

could be. A set I think could be {and, or}, {or, not}, or even {and}.

I think universal means that the smaller set takes on the job of the bigger set. Since u can make “or” with “not” and “and” then I think a smaller set could be {not, and}. That set can do the same job as {and, or, not}. Theres just gonna be extra operators to work with.

@Elliot

How can you determine if a set of logic operators is universal (both in general or the easier version: using as a premise that {and, or, not} is universal)?

For the easier version: If you use operators from the smaller set to make expressions that work the same as all the operators of the bigger set, then you got a universal set of logic operators. We already did that with xor, nor, implies, n equality.

I’ll come back to this question later