I haven’t reviewed your work yet and I’m going to be busy until this evening but here’s something you can work on:
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)?
15-60min