Skip to main content

Small program to build truth tables from expressions

Project description

Truthtable

Usage:
./truthtable.py [-hbn] [--help] [--bool|--numeric]
  -h | --help     Print this message
  -b | --bool     Use boolean values to fill the table
  -n | --numeric  Use numeric values to fill the table(defualt)
  -d | --debug    For printing intermediate representation of expression

Expression syntax:
  Variable name:
    [a-zA-Z]+
  Operations:
    &&  - conjunction
    ||  - disjunction
    ->  - implication
    <-  - converse implication
    <=> - biconditional
    ^   - exclusive disjunction
    ~   - negation
Examples:
    A && B ^ ~(~A || (A<=>C))
    A && B <=> ~(~A -> ~(~B <=> A))
    BC -> A -> C <=> ~(A || (BC && C))

Project details


Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

truthtable-0.0.1-py3-none-any.whl (5.4 kB view details)

Uploaded Python 3

File details

Details for the file truthtable-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: truthtable-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 5.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/39.2.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.0

File hashes

Hashes for truthtable-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 b9d0cc44af4ad4d126d03316bf2c15519b428f86787cd4176a0b9eda68f38217
MD5 f6165534125eee88c0f0625b2b426d42
BLAKE2b-256 1006792061ad6274dc14d38511a9ff46d25ae1d14d86b0ecf81e1eddeea64e06

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page