Indholdsfortegnelse
14 relationer: Biimplikation, Boolsk algebra, Casestudie, Data Encryption Standard, Flip-flop (digital elektronik), Funktionel-komplet, Kontradiktion, Kontraposition, Logisk konnektiv, M17 (amatørradio), Modstrid (matematik), Og, Paritetsbit, Tautologi.
Biimplikation
Biimplikation er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander har samme sandhedsværdi.
Se Sandhedstabel og Biimplikation
Boolsk algebra
Boolsk algebra (og boolsk logik) er et komplet system til logiske operationer, baseret på algebra med variabler, som kun kan have to tilstande eller værdier, der normalt udtrykkes som sandt eller falsk.
Se Sandhedstabel og Boolsk algebra
Casestudie
Et casestudie er en strategi, der benyttes ved gennemgang af en konkret hændelse eller et andet fænomen for at analysere, hvilken lære der kan uddrages af netop denne hændelse eller dette fænomen.
Se Sandhedstabel og Casestudie
Data Encryption Standard
Data Encryption Standard (DES) er en kryptografisk algoritme designet af IBM i 1975.
Se Sandhedstabel og Data Encryption Standard
Flip-flop (digital elektronik)
En flip-flop er en fællesbetegnelse for en række simple elektroniske kredsløb, opbygget af logiske gates, og som anvendes indenfor den digitale elektronik.
Se Sandhedstabel og Flip-flop (digital elektronik)
Funktionel-komplet
En komputationel klasse (f.eks. en notation, en maskine eller et programmeringssprog) er funktionel-komplet, hvis alle mulige sandhedstabeller indeholdes af den, bemærk at dette ikke implicerer at systemet er Turing-komplet, da man i mange tilfælde skal bruge et uendeligt program for at skrive en algoritme.
Se Sandhedstabel og Funktionel-komplet
Kontradiktion
En kontradiktion er et udsagn, der modsiger sig selv.
Se Sandhedstabel og Kontradiktion
Kontraposition
Bevis ved kontraposition (eng. Proof by contraposition) er en bevisteknik, der bruges ofte i matematik til at bevise en implikation.
Se Sandhedstabel og Kontraposition
Logisk konnektiv
Et logisk konnektiv er en afbildning, som kombinerer nogle (ofte to) udsagn til ét, således at sandhedsværdien for det samlede udsagn udelukkende afhænger af sandhedsværdierne for de indgående udsagn.
Se Sandhedstabel og Logisk konnektiv
M17 (amatørradio)
RF-spektrum af M17-protokollen. M17 er en kvantiseret modulationstype udviklet af Wojciech Kaczmarski (radioamatørkaldesignal SP5WWP) et al.
Se Sandhedstabel og M17 (amatørradio)
Modstrid (matematik)
Bevis ved modstrid, der på latinsk kaldes reductio ad absurdum, som betyder "reduktion til meningsløshed", er en bevisteknik, der ofte anvendes i matematikken.
Se Sandhedstabel og Modstrid (matematik)
Og
Og kan have flere betydninger.
Paritetsbit
En paritetsbit er en kontrol-bit der i et vist omfang sikrer at binære tal er korrekt opfattede.
Se Sandhedstabel og Paritetsbit
Tautologi
I logik er en tautologi (fra græsk ταυτολογία tautologia "samme sag") et logisk udsagn, der er sandt for alle tildelinger af værdier til udtrykket.
Også kendt som ELLER, IKKE, Logiske funktioner, Sandhedstabellen, XOR.