PeterBurbery/BooleanLogic
(1.14.0)
current version: 1.24.0 »
Examples
Basic Examples (9)
Find an alternative form of p implies q and r with xor and nand:
Find seven other alternatives:
Make a Venn diagram:
Make a Venn diagram for a BooleanFunction:
Generate a Venn diagram for explicitly defined sets:
Use the two level nor and not:
Find information on a boolean function's structure:
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:
Evaluate the NP complete 17SAT problem:
Publisher
Peter Burbery
Compatibility
Wolfram Language Version 13.1
Version History
-
1.24.0
– 29 September 2022
-
1.23.0
– 29 September 2022
-
1.22.0
– 29 September 2022
-
1.21.0
– 29 September 2022
-
1.20.0
– 29 September 2022
-
1.19.0
– 29 September 2022
-
1.18.0
– 29 September 2022
-
1.17.0
– 29 September 2022
-
1.16.0
– 28 September 2022
-
1.15.0
– 28 September 2022
-
1.14.0
– 27 September 2022
-
1.13.0
– 27 September 2022
-
1.12.0
– 19 September 2022
-
1.11.0
– 19 September 2022
-
1.10.0
– 19 September 2022
-
1.9.0
– 19 September 2022
-
1.8.0
– 19 September 2022
-
1.7.0
– 19 September 2022
-
1.6.0
– 19 September 2022
-
1.5.0
– 19 September 2022
-
1.4.0
– 18 September 2022
-
1.3.0
– 18 September 2022
-
1.2.0
– 17 September 2022
-
1.1.0
– 17 September 2022
-
1.0.0
– 17 September 2022
MIT License
Paclet Source
See Also