Boolesk algebra
I boolesk algebra representeras de logiska värdena sant och falskt av talen 1 respektive 0.
>>> true ans = 1 >>> false ans = 0
och, eller, inte
De grundläggande operatorerna inom logiken är och, eller och inte, dessa skrivs med hjälp av symbolerna ∧, ∨ respektive ¬. Om p och q är påståenden som är antingen sanna eller falska får man följande sanningstabell
- p
- true
- true
- false
- false
- q
- true
- false
- true
- false
- p ∧ q
- true
- false
- false
- false
- p ∨ q
- true
- true
- true
- false
- ¬p
- false
- false
- true
- true
Operatorerna ∧ och ∨ är binära operatorer, de appliceras på två operander. Operatorn ¬ är en unär operator, den appliceras på en operand.
I Octave (och de flesta andra programmeringsspråk) skrivs operatorerna
∧, ∨ och ¬ med symbolerna &&, ||
och !; vilket ger denna sanningstabell
- p
- 1
- 1
- 0
- 0
- q
- 1
- 0
- 1
- 0
-
p
&&q - 1
- 0
- 0
- 0
-
p
||q - 1
- 1
- 1
- 0
- !p
- 0
- 0
- 1
- 1
I Octave (och de flesta andra programmeringsspråk) räknas tal som inte är lika med 0 som sanna.
>>> a=4.5; >>> b=0; >>> (a && b) || !b ans = 1
Notera att man kan åstadkomma logiska operationer med hjälp av aritmetik.
p && q = pq
p || q = p+q-pq
!p = 1-p
mer info:
Fuzzy Logics: Denna artikel publicerades i Scientific American 1993, A Partly True Story, av Ian Stewart
Det där är sant→ ← Det där är falskt
by Malin Christersson under a Creative Commons Attribution-Noncommercial-Share Alike 2.5 Sweden License