Struct TruthTable 

pub struct TruthTable {
    pub entries: [TruthTableEntry; 4],
    pub name: &'static str,
}

A complete truth table for a 2-input boolean function.

Fields

entries: [TruthTableEntry; 4]

All four entries (FF, FT, TF, TT).

name: &'static str

Name of the operation.

Implementations

impl TruthTable

pub fn compute(name: &'static str, f: fn(bool, bool) -> bool) -> Self

Compute the truth table for a given 2-input function.

pub fn lookup(&self, a: bool, b: bool) -> bool

Look up the output for given inputs.

pub fn is_commutative(&self) -> bool

Check if the function is commutative: f(a,b) == f(b,a) for all inputs.

pub fn is_tautology(&self) -> bool

Check if the function always returns true (tautology).

pub fn is_contradiction(&self) -> bool

Check if the function always returns false (contradiction).

pub fn true_count(&self) -> usize

Count the number of true outputs.

Trait Implementations

impl Clone for TruthTable

fn clone(&self) -> TruthTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TruthTable

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

Formats the value using the given formatter.