Skip to content

OpenReasoning/TruthTables

Repository files navigation

Truth Tables

Test codecov

This is a flask app (with a python module backing it) that can be used to generate Truth Tables for any number of given logical formulas.

Flask App

It uses a functional format for inputting logical formulas. This is the base identity for inputs:

A
not(A)
and(A, B)
or(A, B)
if(A, B)
iff(A, B)

where A and B can either be atomic statements or a functional operator. All operators are either unary (not) or binary (and, or, if, iff) and there is no support for a generalized notation. This means that and(A, B, C) will thrown an error.

Releases

No releases published

Packages

No packages published