Those who want to practise further with disjunctive and conjunctive normal forms and with logical equivalence, and want to receive automated feedback in their practice, are referred to the Logex environment.