Логичка операција: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
с с
I changed the filenames on commons, so I had to make a correction here - the diagrams will appear in the same way like before
Ред 72:
 
{| border="1" cellpadding="1" cellspacing="0" style="text-align:center"
|+ '''Можествени дефиниции за логички оператори [[:commons:File:Logical connectives Hasse diagram.svg|*]]'''
! style="width:700px" |
! style="width:700px" |
Ред 107:
 
<table>
 
<tr>
<td>
[[Image:Venn1100Venn0000.svg|thumb|right|150px|11000000: '''¬p[[w:en:Contradiction|false]]''']]
</td>
 
<td>
[[Image:Venn1101Venn0001.svg|thumb|right|150px|11010001: '''¬p[[w:en:Logical ORconjunction|A qand B]]''' = p→q]]
</td>
 
<td>
[[Image:Venn1110Venn0010.svg|thumb|right|150px|11100010: '''[[w:en:Converse nonimplication|¬pA ORand ¬qB]]''']]
</td>
 
<td>
[[Image:Venn1111Venn0011.svg|thumb|right|150px|11110011: '''tautologyB''']]
</td>
</tr>
Ред 128 ⟶ 127:
<tr>
<td>
[[Image:Venn1000Venn0100.svg|thumb|right|150px|10000100: '''¬p[[w:en:Material nonimplication|A ANDand ¬qB]]''']]
</td>
 
<td>
[[Image:Venn1001Venn0101.svg|thumb|right|150px|10010101: '''p XNOR qA''']]
</td>
 
<td>
[[Image:Venn1010Venn0110.svg|thumb|right|150px|10100110: '''¬q[[w:en:Exclusive or|A xor B]]''']]
</td>
 
<td>
[[Image:Venn1011Venn0111.svg|thumb|right|150px|10110111: '''p[[w:en:Logical ORdisjunction|A ¬qor B]]''' = p←q]]
</td>
</tr>
Ред 146 ⟶ 145:
<tr>
<td>
[[Image:Venn0100Venn1000.svg|thumb|right|150px|01001000: '''[[w:en:Logical NOR|¬pA ANDand q¬B]]''']]
</td>
 
<td>
[[Image:Venn0101Venn1001.svg|thumb|right|150px|01011001: '''q[[w:en:Logical biconditional|A xnor B]]''']]
</td>
 
<td>
[[Image:Venn0110Venn1010.svg|thumb|right|150px|01101010: '''p XOR q¬A''']]
</td>
 
<td>
[[Image:Venn0111Venn1011.svg|thumb|right|150px|01111011: '''p[[w:en:Material implication|¬A ORor qB]]''']]
</td>
</tr>
Ред 164 ⟶ 163:
<tr>
<td>
[[Image:Venn0000Venn1100.svg|thumb|right|150px|00001100: '''contradiction¬B''']]
</td>
 
<td>
[[Image:Venn0001Venn1101.svg|thumb|right|150px|00011101: '''p[[w:en:Converse implication|A ANDor q¬B]]''']]
</td>
 
<td>
[[Image:Venn0010Venn1110.svg|thumb|right|150px|00101110: '''p[[w:en:Sheffer stroke|¬A ANDor ¬qB]]''']]
</td>
 
<td>
[[Image:Venn0011Venn1111.svg|thumb|right|150px|00111111: '''p[[w:en:Tautology (logic)|true]]''']]
</td>
</tr>
 
</table>