- Published 2003

A Boolean operation is a finitary operation on the set 2 = {0, 1}. In particular, for each natural number n, an n-ary Boolean operation is a function f : 2 → 2, of which there are 2 n such. The two zeroary operations or constants are the truth values 0 and 1. The four unary operations are identity x, negation ¬x, and the two constant operations λa.0 and λa.1. There are 16 binary Boolean operations, 256 ternary operations, and so on.

@inproceedings{2003Chapter3A,
title={Chapter 3 Algebras for Logic},
author={},
year={2003}
}