Classical logic truth table magma algebra
algebra math computer-algebra julia proof logic mathematics proof-assistant boolean-expression propositional-logic boolean-algebra truth-table reasoning logical-operators boolean-logic truth-table-generator
-
Updated
Nov 22, 2023 - Julia