next up previous contents
Next: Negation Up: Logical connectors Previous: Logical connectors   Contents

Logical equivalence



root 2002-06-10