Wie verder wil oefenen met disjunctieve en conjunctieve normaalvormen en met logische equivalente, en wie daarbij geautomatiseerde feedback wil ontvangen, verwijzen we naar de Logex omgeving.