Enum Algebra 

pub enum Algebra {
    Kleene,
    Lukasiewicz,
    Bochvar,
}

三值逻辑的语义体系。

Variants

Kleene

Kleene 强三值逻辑：X 表示“不知道”，运算在不确定时产出 X。

Lukasiewicz

Łukasiewicz 三值模糊逻辑：X 是 0 与 1 之间的不确定值。

Bochvar

Bochvar 弱三值逻辑：X 是“毒值”，沾上 X 即为 X。

Implementations

impl Algebra

pub const ALL: [Self; 3]

全部语义体系。

pub const fn as_str(self) -> &'static str

语义体系的稳定短名，用于 CLI 与序列化。

pub fn parse(s: &str) -> Option<Self>

解析语义名称，接受 kleene / k3、lukasiewicz / l3 / luk / bochvar / b3。

pub const fn is_poisonous(self) -> bool

该语义下 X 是否是吸收元（Bochvar 毒值语义）。

pub const fn not(self, a: Ternary) -> Ternary

逻辑否定 ¬。三种语义一致：¬X = X。

pub const fn and(self, a: Ternary, b: Ternary) -> Ternary

逻辑与 ∧。

K3 / Ł3：格序 min（X 是中间元）。B3：X 吸收。

pub const fn or(self, a: Ternary, b: Ternary) -> Ternary

逻辑或 ∨。

K3 / Ł3：格序 max（X 是中间元）。B3：X 吸收。

pub const fn strong_add(self, a: Ternary, b: Ternary) -> Ternary

强加法 ⊕。

• Łukasiewicz：min(1, a + b)，X ⊕ X = 1。
• Kleene：0/1 上为 max(0, a + b - 1)，X 传播为 X。
• Bochvar：X 是毒值，沾上即 X。

pub const fn strong_and(self, a: Ternary, b: Ternary) -> Ternary

强合取 ⊗。

• Łukasiewicz：max(0, a + b - 1)，X ⊗ X = 0。
• Kleene / Bochvar：X 传播为 X。

pub const fn implies(self, a: Ternary, b: Ternary) -> Ternary

蕴含 ⇒。

• Kleene：材料蕴含 ¬a ∨ b。
• Łukasiewicz：MV 蕴含 min(1, 1 - a + b)，故 X ⇒ X = 1。
• Bochvar：X 是毒值，沾上即 X。

pub const fn equiv(self, a: Ternary, b: Ternary) -> Ternary

等价 ≡：(a ⇒ b) ∧ (b ⇒ a)。

Trait Implementations

impl Clone for Algebra

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Algebra

impl Debug for Algebra

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Algebra

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Algebra

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Algebra

impl Hash for Algebra

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Algebra

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Algebra

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Algebra