Expand description
Auto-generated module
🤖 Generated with SplitRS
Functions§
- decide_
bool_ pred - A decision procedure for Bool predicates that checks all values.
- nand_
not - Check NAND functional completeness by expressing NOT via NAND. NOT a = NAND a a
- nor_not
- Check NOR functional completeness by expressing NOT via NOR. NOT a = NOR a a
- verify_
boolean_ algebra - Verify all basic Boolean algebra laws exhaustively.
- verify_
demorgan - Verify De Morgan laws by exhaustive truth table check.
- verify_
functional_ completeness - Verify that NAND and NOR implement NOT correctly.
- verify_
gf2_ ring - Check that (Bool, XOR, AND) satisfies ring axioms by exhaustive verification.
- verify_
kleene_ demorgan - Verify Kleene three-value logic satisfies De Morgan-like laws.
- verify_
lattice_ absorption - Verify lattice absorption laws by exhaustive check.
- verify_
xor_ monoid - Verify XOR monoid laws: (Bool, XOR, false) is a commutative group.