Sanningsvärdetabell
 | Den här artikeln har källhänvisningar, men eftersom det saknas fotnoter är det svårt att avgöra vilken uppgift som är hämtad var. (2024-08) Hjälp gärna till med att redigera artikeln, eller diskutera saken på diskussionssidan. |
 |
|---|
| Logisk operator (Logisk grind) |
|
| Se även |
Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde. Tekniken används främst i klassisk bivalent logik där endast två sanningsvärden, sant eller falskt är möjliga, men även i system av flervärd logik med begränsat antal sanningsvärden.
Exempel
Tabellerna nedan visar resultatet av logiska operationer för samtliga kombinationer av sanningsvärden på de ingående variablerna.
(s = sant, f = falskt)
|
|
| ||||||||||||||||||||||||||||||||||||
|
|
Ett mer sammansatt exempel (jämför med implikation ovan):
| A | B | A ∧ ¬ B | ¬(A ∧ ¬ B) |
| s | s | f | s |
| s | f | s | f |
| f | s | f | s |
| f | f | f | s |
Se även
Referenser
- Hansen, Kaj Børge. (2007). Grundläggande logik. TPB. OCLC 939918739. http://worldcat.org/oclc/939918739. Läst 12 juni 2019
| ||||||||||||||||||||||||||||||||||||||
Media som används på denna webbplats
Text document with red question mark.svg
A text document icon with a red question mark overlaid. This icon is intended to be used in e.g. "unverified content" templates on Wikipedia.
A text document icon with a red question mark overlaid. This icon is intended to be used in e.g. "unverified content" templates on Wikipedia.
AND ANSI.svg
ANSI Symbol for an AND Gate
ANSI Symbol for an AND Gate