Logical Equivalence — Glossary — ThinkLLM