Truth Table Generator

About The Project

I have created this project just for fun to get acquainted with React and Parser Combinator.

I have built truth table generator for propositional logic formulas which generates truth table for all possible combinations of the inputs and shows all steps which are performed to solve the formula.

Built With

• Next.js
• React
• Chakra UI
• Arcsecond

Usage

The parser is strongly typed and does not support formulas which consist of two or more operands without putting them in brackets.

Supported operators

• AND - &&
• OR - ||
• XOR - ^
• NOT - ~
• Implication - =>
• Equivalence - <=>

Examples

A && (B && A)
~(A && B)