search

SageMathOER-CCC / sage-discrete-math

An open textbook for Discrete Mathematics with SageMath, as taught at the City Colleges of Chicago
https://sagemathoer-ccc.github.io/sage-discrete-math/
Other
2 stars 2 forks source link

Revise method to compare truth tables #114

Closed Samuel-Lubliner closed 2 months ago

Samuel-Lubliner commented 2 months ago

https://github.com/SageMathOER-CCC/sage-discrete-math/blob/43266a8c7b19b792dd4a86e72ff5f2b026b61197/source/logic/sec-tautology.ptx#L22

Samuel-Lubliner commented 2 months ago

See https://github.com/SageMathOER-CCC/sage-discrete-math/pull/113#issue-2499253793

Samuel-Lubliner commented 2 months ago

image image