Index of values

A
and_bnp [Bnp]	Conjunction.
C
cns [Bnp]	Consensus -- returns `T`/`F` when both arguments are `T`/`F`, otherwise, returns `B`.
conf [Bnp]	Conflation -- `T`/`F` preserved; maps `B` to `N` and vice-versa.
E
eval_bnp [Bnp]	Evaluate formula over valuation.
G
gull [Bnp]	Gullibility -- equivalent to negation on `T` and `F`; maps `B` to `N` and vice-versa.
I
implic [Bnp]	Truth-preserving implication.
implic_bn [Bnp]	Belnap implication.
implic_cmi [Bnp]	Material implication.
implic_st [Bnp]	Strong implication -- equivalent to (X → Y) ∧ (¬Y → X) where → is material implication (`implic_cmi`).
N
not_bnp [Bnp]
O
or_bnp [Bnp]	Disjunction.