2. Wenn p falsch und q wahr ist, dann: ¬q ↔ (p V q)

3. Wenn p falsch und q falsch ist, dann: [p Λ (p → q)]→ q

4. Wenn p wahr und q wahr ist, dann: (p Λ q) ↔ (qV p)

5. Wenn p wahr ung q falsch ist, dann:

¬(p V q) ↔ (p Λ q) = [(¬p V ¬q) ↔ (p→q)] → q