| [gesichtete Version] | [gesichtete Version] |
| Zeile 6: | Zeile 6: | ||
<br /> | <br /> | ||
<div class="autoit_toc"> | |||
<p> | <p> | ||
<loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> | <loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> | ||
</p> | </p> | ||
</div> | |||
Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen: