Booleaanse functie
Een booleaanse waarde of booleaanse constante is een van de twee waarden "waar" (vaak gepresenteerd door het getal 1) en "onwaar" (vaak gepresenteerd door het getal 0).

Een booleaanse functie is een functie met de vorm 
:formula_1, waarbij formula_2 en "k" ≥ 0 de ariteit van de functie aangeeft (het aantal inputvariabelen). 
Voor elke "k" zijn er 
:formula_3 

invoerwaarden met elk 2 mogelijke uitvoerwaarden, dus in totaal zijn er 
:formula_4 

functies met ariteit "k". Dit is inclusief de functies van formeel "k" booleaanse variabelen, die feitelijk van minder variabelen afhangen. Zo zijn er:
*twee booleaanse constanten: waar en onwaar
*vier functies van één booleaanse variabele (unaire operatie), namelijk de twee bovengenoemde en nog twee, namelijk de identieke afbeelding en de logische negatie
*16 functies van twee booleaanse variabelen (binaire operatie), namelijk de twee constanten en voor elk van beide variabelen de twee hierboven genoemde, en nog tien: disjunctie, conjunctie, implicatie (in twee richtingen), en equivalentie, en de negatie van elk van deze vijf

Elke booleaanse functie met ariteit "k" kan genoteerd worden als een logische propositie in "k" variabelen. <br> 

Twee logische proposities zijn logisch equivalent dan en slechts dan als zij dezelfde booleaanse functie representeren.

Een booleaanse functie duidt aan hoe men een booleaanse waarde kan verkrijgen op basis van booleaanse invoerwaarden. Booleaanse functies kunnen gerepresenteerd worden als logische proposities maar er bestaan ook andere representaties, zoals binaire beslissingsdiagrammen. 
Q11348
functie
Concept
Q1315869
ariteit
Concept
Q657596
unaire operatie
Concept
Q321119
identieke afbeelding
Concept
Q190558
logische negatie
Concept
Q164307
binaire operatie
Concept
Q1651704
disjunctie
Concept
Q191081
conjunctie
Concept
Q7881229
implicatie
Concept
Q949972
equivalentie
Concept
Q200694
logische propositie
Concept
Q220433
logisch equivalent
UNK
Q949972
dan en slechts dan als
Concept
Q864155
binaire beslissingsdiagrammen
Concept
Q942353
Booleaanse functie
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+16^^http://www.w3.org/2001/XMLSchema#decimal
16
NUMBER
part of
use