[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
2.2
Basic functions and relations
2.2.1
Conjunction
2.2.2
Disjunction
2.2.3
Negation
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]