I would like to practice logic thinking more. The sort of problems I'm talking about are like this: Define two constraints, which relates the variables x and y to v such that if either x or y is 1 then v is forced to be 1. Where the answer is then: x ≤ v y ≤ v Does anybody know where I can find similar problems? Along with the answers to test and see if I solved correctly? Thanks!