Equationally defined algebraic framework usually interpreted as a two-valued logic using the basic
Boolean operations (conjunction, disjunction and negation), together with the constants '0' and '1'
denoting false and true values, respectively (
SBO:0000547).