(logic.info)Function and variable index

---

Prev: Definitions for logic Up: Top

---

Enter node , (file) or (file)node

Appendix A Function and variable index
**************************************

[index]

boolean_form

Definitions for logic.

(line 258)

characteristic_vector

Definitions for logic.

(line 25)

closed_under_f

Definitions for logic.

(line 121)

closed_under_t

Definitions for logic.

(line 133)

demorgan

Definitions for logic.

(line 274)

dual_function

Definitions for logic.

(line 95)

functionally_complete

Definitions for logic.

(line 193)

linear

Definitions for logic.

(line 174)

logic_basis

Definitions for logic.

(line 208)

logic_diff

Definitions for logic.

(line 241)

logic_equiv

Definitions for logic.

(line 76)

logic_simp

Definitions for logic.

(line 6)

monotonic

Definitions for logic.

(line 145)

pcnf

Definitions for logic.

(line 297)

pdnf

Definitions for logic.

(line 287)

self_dual

Definitions for logic.

(line 107)

zhegalkin_form

Definitions for logic.

(line 61)