QuickBasic
Les opérateurs booléens permettent de tester des relations entre les opérateurs relationnels. Les principaux sont : « AND » pour le ET, « NOT » pour le NON, « OR » pour le OU inclusif, et « XOR » pour le OU exclusif.
Automate fini alternant
L'ensemble des mots acceptés par formula_53 est où  Ici formula_56 est la fonction caractéristique de l’ensemble formula_57 des états terminaux, représentée comme vecteur booléen. Un mot formula_1 est donc accepté si la fonction booléenne formula_36 prend la valeur 1 sur le vecteur formula_60 qui lui est le vecteur booléens de tous les états formula_4 pour lesquels le calcul de formula_1 aboutit en un état final.