Compare projects
Project comparisons allow you to view any selection of projects side by side just like they're shown on regular categories or in search results. You can try out an example or start yourself by adding a library to the comparison via the input below. You can also easily share your current comparison with others by sending the URL of the current page.
0.0
LogicTools is a set of command-line tools for processing logic expressions.
The tools include:
simplify_qm for simplifying a logic expression,
simplify_es for simplifying a logic expression much more quickly than simplify_qm,
std_conj for computing the conjunctive normal form of a logic expression,
std_dij for computing the disjunctive normal form a of logic expression,
truth_tbl for generating the truth table of a logic expression,
is_tautology for checking if a logic expression is a tautology or not,
and complement for computing the complement of a logic expression.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity