These are the exercises currently available:

• 1. Identify the main connective
• 2. Perform a given substitution on a given formula
• 3. Evaluate in the Boolean structure
• 4. Evaluate in the strong Kleene structure
• 5. Evaluate in the Dunn-Belnap structure
• 6. Give a classical counterexample, if there is one
• 7. Give a counterexample, if there is one, in the indicated matrix
• 8. Exercise not yet available
• 9. Exercise not yet available
• 10. Exercise not yet available