Mathematical analysis of Boolean functions
Proves sentences of propositional calculus
Generate a truth table from a formula
generate truth tables for compound propositions
MC/DC-style branch coverage CLI for WebAssembly components.
Pure-Rust H.266 / VVC (ITU-T H.266 | ISO/IEC 23090-3) bitstream parser + decoder scaffold for oxideav
propositional logic evaluator that creates truth tables for propositional expressions
Recognize a logic proposition and trace its truth value, also generate a truth table (still in development)
Rust based logic parser, evaluator, and truth table constructor!
Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)
Fast implementation of the boolean Algebraic Normal Form (ANF) transform
Utility-first boolean algebra helpers for RustUse