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