<span lang、"EN-US">┐<em>A</em></span><span>∧</span><span lang="EN-US">┐<em>B </em></span><span lang="EN-US">↔</span><span lang="EN-US"> ┐(<em>A</em></span><span>∧</span><em><span lang="EN-US">B</span></em><span lang="EN-US">)</span>
<span lang、"EN-US">┐<em>A</em></span><span>∧</span><span lang="EN-US">┐<em>B </em></span><span lang="EN-US">↔</span><span lang="EN-US"> ┐<em>A</em></span><span>∨</span><span lang="EN-US">┐<em>B</em></span>
<span lang、"EN-US">┐<em>A</em></span><span>∧</span><span lang="EN-US">┐<em>B </em>↔</span><span lang="EN-US"><em>A</em></span><span>∨</span><em><span lang="EN-US">B</span></em><span lang="EN-US"> </span>
<span lang、"EN-US">┐<em>A</em></span><span>∧</span><span lang="EN-US">┐<em>B ↔ </em></span><span lang="EN-US">┐(<em>A</em></span><span>∨</span><em><span lang="EN-US">B</span></em><span lang="EN-US">)</span>