Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
BooleanLogic
Tutorials
BooleanBasics
Guides
Logic
Tech Notes
Boolean Basics
Symbols
AllBooleanFormsLiteralCounts
AllBooleanForms
AllMinimalBooleanFormsLiteralCounts
AllMinimalBooleanForms
BooleanCompose
BooleanStructureData
BooleanTruthInputData
FindBooleanAlternative
InverseBoole
RandomBooleanFunction
TruthTable
VennDiagram
PeterBurbery`BooleanLogic`
A
l
l
M
i
n
i
m
a
l
B
o
o
l
e
a
n
F
o
r
m
s
L
i
t
e
r
a
l
C
o
u
n
t
s
A
l
l
M
i
n
i
m
a
l
B
o
o
l
e
a
n
F
o
r
m
s
L
i
t
e
r
a
l
C
o
u
n
t
s
[
f
u
n
c
]
c
o
u
n
t
s
t
h
e
n
u
m
b
e
r
o
f
l
i
t
e
r
a
l
s
i
n
e
v
e
r
y
m
i
n
i
m
a
l
f
o
r
m
f
o
r
t
h
e
b
o
o
l
e
a
n
f
u
n
c
t
i
o
n
f
u
n
c
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
Examples
(
1
)
I
n
[
1
]
:
=
N
e
e
d
s
[
"
P
e
t
e
r
B
u
r
b
e
r
y
`
B
o
o
l
e
a
n
L
o
g
i
c
`
"
]
B
a
s
i
c
E
x
a
m
p
l
e
s
(
1
)
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
L
o
g
i
c
"
"