Struct TruthTable 

pub struct TruthTable {
    pub variables: Vec<char>,
    pub rows: Vec<TruthTableRow>,
}

Represents the complete truth table for a given expression, with all possible value combinations and their corresponding results.

Fields

variables: Vec<char>

A sorted list of unique variables.

rows: Vec<TruthTableRow>

A Vec of all TruthTableRows, representing the table’s body.

Trait Implementations

impl Debug for TruthTable

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

Formats the value using the given formatter.

impl Display for TruthTable

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

Formats a TruthTable for printing.

impl From<&Expression> for TruthTable

fn from(expression: &Expression) -> Self

Creates a TruthTable.

It generates a truth table for a given logical expression showing the evaluation result for all possible combinations of its input variables.

Arguments

• expression - An AST node that represents a parsed logical expression.