Логичка операција: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
Ред 106:
{| style="margin: 0 auto;"
|-
|<imagemap>
rect 399 2 542 39 [[en:Truth table|input A]]
[[Image:Logical connectives Hasse diagram.svg|350px]]▼
rect 400 39 540 73 [[en:Truth table|input B]]
rect 400 128 542 706 [[en:Truth table|output f(A,B)]]
rect 3 128 398 163 [[en:Contradiction|X and ¬X]]
rect 3 162 398 199 [[en:Logical conjunction|A and B]]
rect 3 198 398 235 [[en:Converse nonimplication|¬A and B]]
rect 4 234 399 273 [[en:Proposition|B]]
rect 3 273 398 309 [[en:Material nonimplication|A and ¬B]]
rect 2 308 397 344 [[en:Proposition|A]]
rect 2 344 396 379 [[en:Exclusive or|A xor B]]
rect 2 379 397 415 [[en:Logical disjunction|A or B]]
rect 3 419 396 454 [[en:Logical NOR|¬A and ¬B]]
rect 3 453 395 489 [[en:Logical biconditional|A xnor B]]
rect 3 489 396 525 [[en:Negation|¬A]]
rect 3 525 396 560 [[en:Material implication|¬A or B]]
rect 3 563 397 601 [[en:Negation|¬B]]
rect 2 600 395 636 [[en:Converse implication|A or ¬B]]
rect 2 634 398 671 [[en:Sheffer stroke|¬A or ¬B]]
rect 3 670 397 706 [[en:Tautology_(logic)|X or ¬X]]
desc none
</imagemap>
|width="50pt"|
|<imagemap>
rect 326 28 416 200 [[en:Tautology_(logic)|X or ¬X]]
rect 81 233 166 409 [[en:Sheffer stroke|¬A or ¬B]]
rect 260 231 349 409 [[en:Converse implication|A or ¬B]]
rect 393 230 481 409 [[en:Material implication|¬A or B]]
rect 574 232 663 408 [[en:Logical disjunction|A or B]]
rect 13 436 103 617 [[en:Negation|¬B]]
rect 147 438 235 617 [[en:Negation|¬A]]
rect 279 440 368 616 [[en:Exclusive or|A xor B]]
rect 375 440 464 617 [[en:Logical biconditional|A xnor B]]
rect 507 439 595 617 [[en:Proposition|A]]
rect 639 438 732 617 [[en:Proposition|B]]
rect 79 647 168 826 [[en:Logical NOR|¬A and ¬B]]
rect 260 647 349 826 [[en:Material nonimplication|A and ¬B]]
rect 392 646 482 826 [[en:Converse nonimplication|¬A and B]]
rect 574 646 663 826 [[en:Logical conjunction|A and B]]
rect 327 853 417 1035 [[en:Contradiction|X and ¬X]]
desc none
</imagemap>
|-
| align="left"|<small>[[:File:Logical connectives table.svg|<font color=#aaaaaa>(file)</font>]]</small> || || align="right"| <small>[[:File:Logical connectives Hasse diagram.svg|<font color=#aaaaaa>(file)</font>]] [http://commons.wikimedia.org/w/thumb.php?f=Logical%20connectives%20Hasse%20diagram.svg&width=1000px <font color=#aaaaaa>(zoom in)</font>]</small>
|}
<br clear=all>
Забележете ја сличноста помешу знаците „и“ (<math>\wedge</math>) и [[пресек (теорија на множествата)|пресек на множество]] (<math>\cap</math>); така е и за „или“ (<math>\vee</math>) и [[унија (теорија на множества)|унија на множества]] (<math>\cup</math>). Ова не е случајно: дефиницијата на пресекот користи „и“, а дефиницијата на унијата користи „или“.
| |||