23 lines
306 B
Markdown
23 lines
306 B
Markdown
|
---
|
||
|
|
categories:
|
||
|
|
- Logic
|
||
|
|
tags: [propositional-logic, algebra]
|
||
|
|
---
|
||
|
|
|
||
|
|
# Boolean algebra
|
||
|
|
|
||
|
|
Many of the laws that obtain in the mathematical realm of algebra also obtain for Boolean expressions.
|
||
|
|
|
||
|
|
## The Commutative Law
|
||
|
|
|
||
|
|
$$
|
||
|
|
x \land y = y \land x \\
|
||
|
|
$$
|
||
|
|
|
||
|
|
$$
|
||
|
|
|
||
|
|
x \lor y = y \lor x
|
||
|
|
$$
|
||
|
|
|
||
|
|
## The Associative Law
|