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