Jbool_expressions

Overview

Project jbool_expressions is an open-source Java library designed for creating and manipulating boolean expressions. It provides functionalities like simplification, variable assignment, and conversion to different forms like Sum-of-Products and Product-of-Sums. The library is aimed at offering flexibility in working with boolean expressions and supports input string parsing for ease of use.

Features

• Propositional Expression Building: Create expressions using And, Or, Not, Variable, and Literal types.
• Simplification: Remove redundant terms and simplify expressions.
• Variable Assignment: Assign values to variables in expressions for evaluation.
• Immutable Expressions: Operations on expressions return new instances, preserving the original.
• Input String Parsing: Parse expressions provided as strings in prefix notation.
• Conversion to Sum-of-Products Form: Transform expressions into Sum-of-Products form.
• Conversion to Product-of-Sums Form: Convert expressions to Product-of-Sums form.
• Simplification Rules: Apply rules like Literal removal, Negation simplification, And/Or de-duplication, and more.

Summary

Project jbool_expressions is a versatile library for working with boolean expressions in Java. With features like expression building, simplification, variable assignment, and conversion to different forms, it provides a comprehensive toolkit for developers dealing with logic expressions. Its immutability ensures safety in operations, and the provided simplification rules offer optimization options. While still in development, the library shows promise for working with boolean logic efficiently.