/i></button>
</div>
<div class="card-body">
<p class="card-text">

Show, by translating into conjunctive normal form and
applying resolution, that the conclusion drawn on page <a class="pageRef" title="" href="#">dbsig-page</a>
concerning Brazilians is sound.
</p>
</div>
</div>
<p><br /></p>
<div class="card">
<div class="card-header p-2">
<a href="ex_2/" class="p-2">Exercise 2 </a>
<button type="button" class="btn btn-dark float-right" title="Bookmark Exercise" onclick="bookmark('ch19ex2');" href="#"><i i