jgillmanjr/php-proplogic

A simple propositional logic parser

v1.0.1 2014-01-14 15:32 UTC

This package is not auto-updated.

Last update: 2024-11-05 01:36:17 UTC


README

My attempt at a very basic propositional logic parser in PHP.

Supported Operations

  • Negation (~)
  • Inclusive Disjunction (|)
  • Conjunction (^)
  • Material Implication (>)

Operator Precedence: Higher number == higher precedence

  1. |
  2. ^
  3. ~