Vertabelo: Malsamoj inter versioj
| [kontrolita revizio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto |
Neniu resumo de redakto |
||
Linio 1:
'''Vertabelo''' - estas unu el manieroj por difini [[logika funkcio|logikan funkcion]]. Vertabelo enhavas ĉiujn eblajn rezultojn de [[logika funkcio]].
Praktike, vertabelo konsistas el kolumnoj, po unu kolumno al ĉiu variablo (ekz. ''P'' kaj ''Q''), kaj unu fina kolumno por ĉiu ebla rezulto rilatante al la logika operacio, kiun la vertabelo estas supozita reprezenti (ekz. ''P'' [[XOR]] ''Q''). Ĉiu linio de la vertabelo do enhavas unu eblan kunigon de la enigaj variabloj (ekz. ''P'' = vera, ''Q'' = falsa), kaj unu rezulton de la operacio pri tiuj apartaj valoroj.
==Ekzemploj==
Vertabelo por [[Logika kajo|'''kaj''']]:
{| align="center" border="1" bgcolor="#c0c0c0"
|-- align="center"
Linio 17 ⟶ 19:
| 0 || 0 || 0
|}
Vertabelo por [[Logika aŭo|'''aŭ''']]:
{| align="center" border="1" bgcolor="#c0c0c0"
|-- align="center"
Linio 32 ⟶ 34:
| 0 || 0 || 0
|}
==Vertabelo pri ĉiuj [[duuma aro|duumaraj]] logikaj operatoroj==
Ĉi sube estas vertabelo kun difinoj de ĉiuj 16 eblaj verfunkcioj pri 2 duumaj variabloj (''P'' kaj ''Q'' estas do '''buleaj variabloj''':
{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
|-
! ''P'' || ''Q''
|
! 0 || 1 || 2 || 3 || 4 || 5 || 6 || 7
|
!| 8 || 9 || 10 || 11 || 12 || 13 || 14 || 15
|-
! V || V
| || F || F || F || F || F || F || F || F || || V || V || V || V || V || V || V || V
|-
! V || F
| || F || F || F || F || V || V || V || V|| || F || F || F || F || V || V || V || V
|-
! F || V
| || F || F || V || V || F || F || V || V || || F || F || V || V || F || F || V || V
|-
! F || F
| || F || V || F || V || F || V || F || V || || F || V || F || V || F || V || F || V
|}
kie V = vera and F = falsa.
Klarigo:
:0, Opq, falsa, [[Kontraŭdiro]]
:1, Xpq, [[NOR]], [[Inversa disjunkcio]]
:2, Mpq,'''q''' kaj '''¬p'''
:3, Fpq, '''¬p''', [[Negacio]]<ref>{{ReVo|negaci|negacio}}</ref> de '''p'''
:4, Lpq, '''p''' kaj '''¬q'''
:5, Gpq, '''¬q''', [[Negacio]] de '''q'''
:6, Jpq, [[XOR]], [[Ekskluziva disjunkcio]]<ref>{{ReVo|disjunkci|disjunkcio}}</ref>
:7, Dpq, [[NAND]], [[Inversa konjunkcio]]
:8, Kpq, [[AND]], [[Konjunkcio (logiko)]]<ref>{{ReVo|konjunkci|konjunkcio}}</ref>
:9, Epq, [[XNOR]], [[Se kaj nur se]] '''p''' identas al '''q'''
:10, Hpq, '''q''' valoro
:11, Cpq, [[Implico]]<ref>{{ReVo|implic|implico}}</ref>
:12, Ipq, '''p''' valoro
:13, Bpq, [[Inversa implico]]
:14, Apq, [[OR]], [[Disjunkcio]]
:15, Vpq, vera, [[Taŭtologio]]
== Referencoj ==
<References/>
==Vidu ankaŭ==
* [[Bulea logiko]]
* [[Kajaŭ]]
* [[s.n.s.]]
[[Kategorio:Logiko]]
[[Kategorio:Matematiko]]
[[Kategorio:Matematika logiko]]
[[Kategorio:Bulea algebro]]
[[af:Waarheidstabel]]
| |||