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 information about a boolean function:
In[1]:= |
Out[1]= |
Find an alternative form of p implies q and r with xor and nand:
In[2]:= |
Out[2]= |
Find seven other alternatives:
In[3]:= |
Out[3]= |
Make a tree of each expression:
In[4]:= |
Out[4]= |
Wolfram Language Version 13.1