Exercises that I have not been able to solve, that is to say, that have left me intrigued....
- Lamps, I do not understand the formula.
- Tautology, I think you have to reduce the Boolean Algebra expression and then test with all possible values or use some heuristic.