Crate propositional_logic

Source

Modules§

macros
prelude

Macros§

print_truth_table
A macro to print a truth table for the given propositions.
truth_table
A macro to create a truth table for a given proposition, or propositions. Returns a ::cli_table::TableStruct

Functions§

and
The Conjunction Logical Connective
iff
The Biconditional Logical Connective
imply
The Implication Logical Connective
not
The Negation Logical Connective
or
The Disjunction Logical Connective
xor
The Exclusive Disjunction Logical Connective