Waarheidstabel: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Logische disjunctie (OR): twee mag ook |
Madyno dit lijkt nergens naar |
||
Regel 62:
Een [[logische conjunctie]] is een [[Booleaanse operator|logische operator]] die [[Dan en slechts dan als|dan en slechts dan]] waar is als beide [[operand]]en waar zijn.
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 82:
Bij een [[logische disjunctie]] is een logische operator die dan en slechts dan waar is als minstens een van beide operanden waar is.
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 95:
| style="background:papayawhip"| F || style="background:papayawhip"| F
| style="background:#e0e0f8"| || style="background:papayawhip"| F
|}
=== Exclusieve disjunctie <small>(XOR)</small> ===
Bij de [[exclusieve disjunctie]] is de teruggegeven waarde ''T'' als exact een van beide argumenten waar is.
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 118:
Bij de [[logische implicatie]] is de teruggegeven waarde enkel ''T'' als het eerste argument ''F'' is, of als beide argumenten ''T'' zijn.
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 137:
Bij de [[logische equivalentie]] is de teruggegeven waarde ''T'' als beide argumenten dezelfde waarde hebben: "NOT XOR".
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 157:
Bij de [[Logische nor|logische NOR]] is de teruggegeven waarde ''T'' als beide argumenten niet waar zijn. Het is een combinatie van NOT en OR: "NOT OR".
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 177:
Bij de [[logische NAND]] is de teruggegeven waarde ''T'' als niet beide argumenten waar zijn. Het is een combinatie van NOT en AND: "NOT AND".
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 194:
=== (then/if) ===
Bij de omgekeerde logische implicatie is de teruggegeven waarde enkel ''T'' als het tweede argument ''F'' is, of als beide argumenten ''T'' zijn.
▲"{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 213 ⟶ 212:
=== ↛ ===
De teruggegeven waarde is uitsluitend ''T'' als het eerste argument niet het tweede argument [[logische implicatie|impliceert]], dus het eerste argument is waar en het tweede argument is onwaar.
▲:{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 232 ⟶ 230:
=== Xq ===
De teruggegeven waarde is ''T'' als het tweede argument waar is, mits het eerste argument onwaar is.
▲:{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 251 ⟶ 248:
=== Projectie eerste argument ===
De teruggegeven waarde is de waarde van het eerste argument.
▲{:| class="wikitable" style="text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 270 ⟶ 266:
=== Projectie tweede argument ===
De teruggegeven waarde is de waarde van het tweede argument.
▲:{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 289 ⟶ 284:
=== ¬p ===
Bij deze negatie (¬) is de teruggegeven waarde het tegengestelde van de waarde van het eerste argument.
▲:{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 308 ⟶ 302:
=== ¬q ===
Bij deze negatie (¬) is de teruggegeven waarde het tegengestelde van de waarde van het tweede argument.
▲:{| class="wikitable" style="text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 328 ⟶ 321:
Bij een [[Tautologie (logica)|tautologie]] is de teruggegeven waarde ''T'' altijd waar.
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Regel 346 ⟶ 339:
Bij een [[contradictie]] is de teruggegeven waarde altijd onwaar (''F'').
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
| |||