PeterBurbery/BooleanLogic

(1.23.0) current version: 1.24.0 »

Work with logical functions and boolean values

Contributed By: Peter Cullen Burbery

This paclet contains helpful functions for boolean logic. I give credit to the authors of FindBooleanAlternative, Stephen Wolfram and Nikolay Murzin. I want to compile helpful functions for logic into one place.

Installation Instructions

To install this paclet in your Wolfram Language environment, evaluate this code:
PacletInstall["PeterBurbery/BooleanLogic"]

Details

The picture has William of Ockham in the center, who formulated what is now known as De Morgan's Laws. William of Ockham was a theologian who formulated Ockham's razor and studied ternary logic.

Paclet Guide

Examples

Basic Examples (13)

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 Venn diagram for b, c, and d:

In[3]:=

Out[3]=

Add the input e to the Venn Diagram:

In[4]:=

Out[4]=

VennDiagram can accept up to 5 variables:

In[5]:=

Out[5]=

Make a Venn diagram using BooleanFunction as input:

In[6]:=

Out[6]=

Create a Venn diagram by using sets as input:

In[7]:=

Out[7]=

Create a Venn diagram by using Not and Or canonical normal form as input:

In[8]:=

Out[8]=

In[9]:=

Out[9]=

Find information on a boolean function's structure:

In[10]:=

Out[10]=

Find information on the output given true inputs and false inputs, including whether the problem is satisfiable. This is helpful when working on the NP-complete problem 3SAT:

In[11]:=

Out[11]=

Evaluate the NP complete 17SAT problem:

In[12]:=

Out[12]=

Generate a truth table for a function with 4 inputs:

In[13]:=

Out[13]=

Use 1 and 0 in place of true and false, respectively:

In[14]:=

Out[14]=

Publisher

Compatibility

Wolfram Language Version 13.1

Version History

License Information

Paclet Source

Source Metadata

Citation: Source, reference or citation information

See Also