Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Boolean logic
Contributed By: Peter Cullen Burbery
To install this paclet in your Wolfram Language environment,
evaluate this code:
PacletInstall["PeterBurbery/BooleanLogic"]
Find an alternative form of p implies q and r with xor and nand:
In[1]:= |
Out[1]= |
Find seven other alternatives:
In[2]:= |
Out[2]= |
Make a tree of each expression:
In[3]:= |
Find information on a boolean function's structure:
In[4]:= |
Out[4]= |
Find information on the output given true inputs and false inputs, including whether the problem is satisfiable. Notice that is related to the 3SAT NP-complete problem:
In[5]:= |
Out[5]= |
Evaluate the NP complete 17SAT problem:
In[6]:= |
Out[6]= |
Wolfram Language Version 13.1