Boolsk uttrykk

Et boolsk uttrykk er innenfor informatikken navnet på et uttrykk i et programmeringsspråk som produserer en boolsk variabel når det blir evaluert, dvs. enten som sann eller falsk. Et boolsk uttrykk kan være sammensatt av en kombinasjon av de boolske konstantene sann eller falsk, av variabler med en boolsk datatype, operatorer med boolske verdier og funksjoner med boolske verdier.^[1]

Boolske uttrykk korresponderer med proposisjonal formula innenfor logikken og er en spesielt tilfelle av boolske kretser.^[2]

Referanser rediger

^ Gries, David; Schneider, Fred B. (1993), «Chapter 2. Boolean Expressions», A Logical Approach to Discrete Math, Monographs in Computer Science, Springer, s. 25ff, ISBN 9780387941158, https://books.google.com/books?id=ZWTDQ6H6gsUC&pg=PA25 .
^ van Melkebeek, Dieter (2000), Randomness and Completeness in Computational Complexity, 1950, Springer, s. 22, ISBN 9783540414926, https://books.google.com/books?id=-S0zCjOAIVwC&pg=PA22 .

[1] Gries, David; Schneider, Fred B. (1993), «Chapter 2. Boolean Expressions», A Logical Approach to Discrete Math, Monographs in Computer Science, Springer, s. 25ff, ISBN 9780387941158, https://books.google.com/books?id=ZWTDQ6H6gsUC&pg=PA25 .

[2] van Melkebeek, Dieter (2000), Randomness and Completeness in Computational Complexity, 1950, Springer, s. 22, ISBN 9783540414926, https://books.google.com/books?id=-S0zCjOAIVwC&pg=PA22 .

[1]

[2]