A python tool for logic clauses analysis and binary operations
Project description
What is pyTruthTable?
pyTruthTable is a python library to create logical tables and make relations between its elements. It makes possible prepositional logic clauses analysis and binary operations to be used in classic logical problems.
Features:
- Uses Pandas Dataframe.
- Big set of logic operations.
- Simplified function calls.
- Automatic column naming.
- Customizible appearence.
Installation
Requirements: Python 3 and Pandas.
Install with Pypi:
pip3 install pyTruthTable
Take a look:
Example 1 - Binary operations
import pyTruthTable as ptt
# Initialize
t_table = ptt.PyTruthTable(["A", "B"])
# Create relations
t_table.append("not", "A")
t_table.append("and", "A", "B")
t_table.append("or", 2, "B") # Use the column index or name
t_table.append("xor", -2, -1)
t_table.append("nand", -1, 0, name = "C") # Rename column
t_table.append("equals", "C", "A")
A | B | ¬ A | A ^ B | ¬ A v B | (A ^ B) ⊕ (¬ A v B) | C | C ↔ A |
---|---|---|---|---|---|---|---|
True | True | False | True | True | False | True | True |
True | False | False | False | False | False | True | True |
False | True | True | False | True | True | True | False |
False | False | True | False | True | True | True | False |
Example 2 - Prepositional logic clauses
import pyTruthTable as ptt
# Initialize
tt = ptt.PyTruthTable(["Hot", "Wet", "Rains"])
# Append new column with specified operation
tt.append("and", "Hot", "Wet")
tt.append("implies", 3, "Rains")
Hot | Wet | Rains | Hot ^ Wet | (Hot ^ Wet) → (Rains) |
---|---|---|---|---|
True | True | True | True | True |
True | True | False | True | False |
True | False | True | False | True |
True | False | False | False | True |
False | True | True | False | True |
False | True | False | False | True |
False | False | True | False | True |
False | False | False | False | True |
See more examples here
Documentation & other links
- The amazing documentation is this Ṕage.
- Source code in the Github repository.
- Pypi pakage installer
License
Contributing is awesome!
See CONTRIBUTING
Contact
Developed with :heart: by Leonardo Mariga
Did you like it? Remember to click on :star2: button.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pyTruthTable-0.0.2.tar.gz
(5.6 kB
view details)
Built Distribution
File details
Details for the file pyTruthTable-0.0.2.tar.gz
.
File metadata
- Download URL: pyTruthTable-0.0.2.tar.gz
- Upload date:
- Size: 5.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.1.1 requests-toolbelt/0.9.1 tqdm/4.47.0 CPython/2.7.17
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | ef2d17a31c1f4a37346ecfee6830494c6659c8a257d13d94eeb26fc14f3df011 |
|
MD5 | dc404c36dada067a1e9ae167d841a88c |
|
BLAKE2b-256 | d60b115d2d32fa04905f6c86204ba47f1e0b936b9e5abb93386a518a37a59ca7 |
File details
Details for the file pyTruthTable-0.0.2-py3-none-any.whl
.
File metadata
- Download URL: pyTruthTable-0.0.2-py3-none-any.whl
- Upload date:
- Size: 6.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/44.1.1 requests-toolbelt/0.9.1 tqdm/4.47.0 CPython/2.7.17
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3aa4bc418e607ffc0107eaac6cee851e86880387876a49f31c82333f513d8a32 |
|
MD5 | f485d007b439b89fbda58630cebcdf39 |
|
BLAKE2b-256 | 4a64648314b957b59d25883c829b9900045a30e8cbaaa6949eea34975fdd06f3 |