**This is an old revision of the document!**

## 2-element Boolean algebra

Name: $\mathbb B_2$

Elements: 0,1

Constant operations: 0=0 1=1

Unary operations:

$x$ | 0 | 1 |
---|---|---|

$x'$ | 1 | 0 |

Binary operations:

$\vee$ | 0 | 1 |
---|---|---|

0 | 0 | 1 |

1 | 1 | 1 |

Trace: » 2-element_boolean_algebra