Logic
Logic
a→b
(a ↓ b) | c
a∧b∧c⊕a∧b⊕a∧c⊕b∧c⊕a⊕b⊕c
¬ (¬a ∨ b) ∨ c
a∼b∼c
not (x_1 and ... and x_n) => (not x_1 or ... or not x_n)
not (x_1 or ... or x_n) => (not x_1 and ... and not x_n)
Example:
Example:
Example:
B M
boolean_form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 monotonic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
C
characteristic_vector . . . . . . . . . . . . . . . . . . . . . . . . 2
P
closed_under_f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 pcnf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
closed_under_t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 pdnf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
D
demorgan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 S
dual_function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 self_dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
F
functionally_complete . . . . . . . . . . . . . . . . . . . . . . . . 5 Z
zhegalkin_form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
L
linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
logic_basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
logic_diff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
logic_equiv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
logic_simp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2