Skip to main content

A library and command-line tool for working with Boolean expressions

Project description

tt's PyPI page tt runs on Python 2.7, 3.3, 3.4, 3.5, and 3.6 tt documentation site Linux build on Travis CI Windows build on AppVeyor

Synopsis

tt (truth table) is a library aiming to provide a Pythonic toolkit for working with Boolean expressions and truth tables. Please see the project site for guides and documentation, or check out bool.tools for a simple web application powered by this library.

Installation

tt is tested on CPython 2.7, 3.3, 3.4, 3.5, and 3.6. You can get the latest release from PyPI with:

pip install ttable

Features

Parse expressions:

>>> from tt import BooleanExpression
>>> b = BooleanExpression('A impl not (B nand C)')
>>> b.tokens
['A', 'impl', 'not', '(', 'B', 'nand', 'C', ')']
>>> print(b.tree)
impl
`----A
`----not
     `----nand
          `----B
          `----C

Transform expressions:

>>> from tt import to_primitives, to_cnf
>>> to_primitives('A xor B')
<BooleanExpression "(A and not B) or (not A and B)">
>>> to_cnf('(A nand B) impl (C or D)')
<BooleanExpression "(A or C or D) and (B or C or D)">

Evaluate expressions:

>>> b = BooleanExpression('(A /\ B) -> (C \/ D)')
>>> b.evaluate(A=1, B=1, C=0, D=0)
False
>>> b.evaluate(A=1, B=1, C=1, D=0)
True

Interact with expression structure:

>>> b = BooleanExpression('(A and ~B and C) or (~C and D) or E')
>>> b.is_dnf
True
>>> for clause in b.iter_dnf_clauses():
...     print(clause)
...
A and ~B and C
~C and D
E

Exhaust SAT solutions:

>>> b = BooleanExpression('~(A or B) xor C')
>>> for sat_solution in b.sat_all():
...     print(sat_solution)
...
A=0, B=1, C=1
A=1, B=0, C=1
A=1, B=1, C=1
A=0, B=0, C=0

Find just a few:

>>> with b.constrain(A=1):
...     for sat_solution in b.sat_all():
...         print(sat_solution)
...
A=1, B=0, C=1
A=1, B=1, C=1

Or just one:

>>> b.sat_one()
<BooleanValues [A=0, B=1, C=1]>

Build truth tables:

>>> from tt import TruthTable
>>> t = TruthTable('A iff B')
>>> print(t)
+---+---+---+
| A | B |   |
+---+---+---+
| 0 | 0 | 1 |
+---+---+---+
| 0 | 1 | 0 |
+---+---+---+
| 1 | 0 | 0 |
+---+---+---+
| 1 | 1 | 1 |
+---+---+---+

And much more!

License

tt uses the MIT License.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

ttable-0.6.3.tar.gz (791.7 kB view hashes)

Uploaded source

Built Distributions

ttable-0.6.3-cp36-cp36m-win_amd64.whl (78.6 kB view hashes)

Uploaded cp36

ttable-0.6.3-cp36-cp36m-win32.whl (72.8 kB view hashes)

Uploaded cp36

ttable-0.6.3-cp35-cp35m-win_amd64.whl (78.6 kB view hashes)

Uploaded cp35

ttable-0.6.3-cp35-cp35m-win32.whl (72.8 kB view hashes)

Uploaded cp35

ttable-0.6.3-cp34-cp34m-win_amd64.whl (83.5 kB view hashes)

Uploaded cp34

ttable-0.6.3-cp34-cp34m-win32.whl (77.0 kB view hashes)

Uploaded cp34

ttable-0.6.3-cp33-cp33m-win_amd64.whl (83.5 kB view hashes)

Uploaded cp33

ttable-0.6.3-cp33-cp33m-win32.whl (77.0 kB view hashes)

Uploaded cp33

ttable-0.6.3-cp27-cp27m-win_amd64.whl (82.0 kB view hashes)

Uploaded cp27

ttable-0.6.3-cp27-cp27m-win32.whl (75.5 kB view hashes)

Uploaded cp27

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page