[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
3.4
Simplification
For any
a
∈
𝔹
:
a
∧
a
=
a
a
∨
a
=
a
a
∧
false
=
false
a
∨
true
=
true
a
∧
true
=
a
a
∨
false
=
a
a
∧¬
a
=
false
a
∨¬
a
=
true
¬
(
¬
(
a
)) =
a
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]