http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Iti0210ex72
Iti0210ex72 - Redigeerimiste ajalugu
2026-10-28T08:37:28Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=Iti0210ex72&diff=18742&oldid=prev
PriitJ: /* Ülesanne */
2021-04-03T10:16:22Z
<p><span class="autocomment">Ülesanne</span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="et">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 3. aprill 2021, kell 12:16</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l45">45. rida:</td>
<td colspan="2" class="diff-lineno">45. rida:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Tee nüüd ise sama teisendus kollimaailma reegliga ''B<sub>22</sub> <=> (P<sub>12</sub> v P<sub>21</sub> v P<sub>23</sub> v P<sub>32</sub>)''.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Tee nüüd ise sama teisendus kollimaailma reegliga ''B<sub>22</sub> <=> (P<sub>12</sub> v P<sub>21</sub> v P<sub>23</sub> v P<sub>32</sub>)''.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>CNF teisendus on toodud ka [[Media:<del style="font-weight: bold; text-decoration: none;">Chapter07-abbrev2</del>.pdf|slaididel]], lk <del style="font-weight: bold; text-decoration: none;">68</del>.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>CNF teisendus on toodud ka [[Media:<ins style="font-weight: bold; text-decoration: none;">ITI0210_w7</ins>.pdf|slaididel]], lk <ins style="font-weight: bold; text-decoration: none;">29-30</ins>.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Iti0210]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Iti0210]]</div></td></tr>
<!-- diff cache key lambdadb:diff:1.41:old-16862:rev-18742:php=table -->
</table>
PriitJ
http://www.lambda.ee/w/index.php?title=Iti0210ex72&diff=16862&oldid=prev
PriitJ – 9. märts 2020, kell 18:41
2020-03-09T18:41:54Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="et">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 9. märts 2020, kell 20:41</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l46">46. rida:</td>
<td colspan="2" class="diff-lineno">46. rida:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>CNF teisendus on toodud ka [[Media:Chapter07-abbrev2.pdf|slaididel]], lk 68.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>CNF teisendus on toodud ka [[Media:Chapter07-abbrev2.pdf|slaididel]], lk 68.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Iti0210]]</ins></div></td></tr>
</table>
PriitJ
http://www.lambda.ee/w/index.php?title=Iti0210ex72&diff=16847&oldid=prev
PriitJ: Uus lehekülg: '= Konjunktiivne normaalkuju (CNF) = Teisendame konjunktiivsele normaalkujule: <pre> 1. A <=> (B v C) </pre> Ekvivalentsus ''<=>'' tähendab, et seos kehtib mõlemat pidi: <pr...'
2020-03-09T08:47:44Z
<p>Uus lehekülg: '= Konjunktiivne normaalkuju (CNF) = Teisendame konjunktiivsele normaalkujule: <pre> 1. A <=> (B v C) </pre> Ekvivalentsus ''<=>'' tähendab, et seos kehtib mõlemat pidi: <pr...'</p>
<p><b>Uus lehekülg</b></p><div>= Konjunktiivne normaalkuju (CNF) =<br />
<br />
Teisendame konjunktiivsele normaalkujule:<br />
<br />
<pre><br />
1. A <=> (B v C)<br />
</pre><br />
<br />
Ekvivalentsus ''<=>'' tähendab, et seos kehtib mõlemat pidi:<br />
<br />
<pre><br />
2a. A => (B v C)<br />
2b. (B v C) => A<br />
</pre><br />
<br />
Asendame mõlemas valemis implikatsioonitehte ''=>'':<br />
<br />
<pre><br />
3a. -A v (B v C)<br />
3b. -(B v C) v A<br />
</pre><br />
<br />
Esimeses (3a) võib lihtsalt sulud ära jätta, teisel juhul (3b) tuleb aga DeMorgani seadust rakendada:<br />
<br />
<pre><br />
4b. (-B & -C) v A<br />
</pre><br />
<br />
Peale sulgude avamist saame:<br />
<br />
<pre><br />
5b. (-B v A) & (-C v A)<br />
</pre><br />
<br />
Ehk siis kokku saime disjunktid (''clause''), mis kõik samal ajal kehtivad (mõtle, et ridade vahel on "&"):<br />
<br />
<pre><br />
-A v B v C<br />
-B v A<br />
-C v A<br />
</pre><br />
<br />
== Ülesanne ==<br />
<br />
Tee nüüd ise sama teisendus kollimaailma reegliga ''B<sub>22</sub> <=> (P<sub>12</sub> v P<sub>21</sub> v P<sub>23</sub> v P<sub>32</sub>)''.<br />
<br />
CNF teisendus on toodud ka [[Media:Chapter07-abbrev2.pdf|slaididel]], lk 68.</div>
PriitJ