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
  • pq
  • true
  • false
  • false
  • false
  • pq
  • 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