Crate logic_tracer

Logic Tracer

logic_tracer is a library for tracing the logic of a logic propopsition.

Also creates a truth table and a Karnaugh map (if possible).

Features

• Creates a logic trace
• Creates a truth table
• Creates a Karnaugh map
• Reduces the logic proposition to its simplest form (if possible)
• Creates a circuit diagram (if possible)
• Serializes the logic proposition to a file (must be implemented)

Structs

• LogicProposition
• MathProposition
• Term

Enums

• BracketType
  Represents types of brackets.
• LogicOp
• MathOp
• RelOp
• Token
  The LogicToken Enum describes all the possible tokens that can be recognized by the ‘Lexer’.

Traits

• LogicPTrait
• MathPTrait
• Operator
  A trait for operators that can be formatted and debugged.
• PropositionTrait

Functions

• check_pair_brackets