Waarheidstabel: verschil tussen versies

249 bytes verwijderd ,  1 maand geleden
geen bewerkingssamenvatting
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.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Bij een [[logische disjunctie]] is een logische operator die dan en slechts dan waar is als een van beide operanden waar is.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Bij de [[exclusieve disjunctie]] is de teruggegeven waarde ''T'' als exact een van beide argumenten waar is.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Bij de [[logische implicatie]] is de teruggegeven waarde enkel ''T'' als het eerste argument ''F'' is, of als beide argumenten ''T'' zijn.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Bij de [[logische equivalentie]] is de teruggegeven waarde ''T'' als beide argumenten dezelfde waarde hebben: "NOT XOR".
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
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".
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
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".
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
=== (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="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
=== ↛ ===
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="margin:1em auto; text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
=== Xq ===
De teruggegeven waarde is ''T'' als het tweede argument waar is, mits het eerste argument onwaar is.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
=== Projectie eerste argument ===
De teruggegeven waarde is de waarde van het eerste argument.
 
{:| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
=== Projectie tweede argument ===
De teruggegeven waarde is de waarde van het tweede argument.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
=== ¬p ===
Bij deze negatie (¬) is de teruggegeven waarde het tegengestelde van de waarde van het eerste argument.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
=== ¬q ===
Bij deze negatie (¬) is de teruggegeven waarde het tegengestelde van de waarde van het tweede argument.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%" | ''p''
! style="width:30%" | ''q'' !! style="width:1%; background:#e0e0f8"|
Bij een [[Tautologie (logica)|tautologie]] is de teruggegeven waarde ''T'' altijd waar.
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
Bij een [[contradictie]] is de teruggegeven waarde altijd onwaar (''F'').
 
:{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
! style="width:30%"| ''p''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
28.790

bewerkingen