<em><span lang、"EN-US">Q</span></em><span lang="EN-US">→</span><span lang="EN-US">(<em>P</em></span><span>∨</span><span lang="EN-US">(<em>P</em></span><span>∧</span><em><span lang="EN-US">Q</span></em><span lang="EN-US">))↔</span><em><span lang="EN-US">Q →</span></em><em><span lang="EN-US">P</span></em>
<span lang、"EN-US">(<em>Q</em></span><span lang="EN-US">→</span><span lang="EN-US">(<em>P</em></span><span>∨</span><em><span lang="EN-US">Q</span></em><span lang="EN-US">)) ↔</span><span lang="EN-US">(┐<em>Q</em></span><span>∧</span><span lang="EN-US">(<em>P</em></span><span>∨</span><em><span lang="EN-US">Q</span></em><span lang="EN-US">))</span>
<span lang、"EN-US">(┐<em>P</em></span><span>∨</span><span lang="EN-US">(<em>P</em></span><span>∧</span><em><span lang="EN-US">Q</span></em><span lang="EN-US">)) </span><span lang="EN-US">↔</span><em><span lang="EN-US">Q</span></em>
<span lang、"EN-US">┐<em>P</em></span><span>∧</span><span lang="EN-US">┐<em>Q</em></span><span lang="EN-US">↔</span><em><span lang="EN-US">P</span></em><span>∨</span><em><span lang="EN-US">Q</span></em>