jgillmanjr/php-proplogic

A simple propositional logic parser

Maintainers

Details

github.com/jgillmanjr/php-propLogic

Homepage

Source

Issues

Installs: 22

Dependents: 0

Suggesters: 0

Security: 0

Stars: 0

Watchers: 1

Forks: 0

Open Issues: 0

pkg:composer/jgillmanjr/php-proplogic

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

Apache-2.0 4e4d835294d8b57ef5e33bd39a9e3284796a01fc

This package is not auto-updated.

Last update: 2025-10-07 06:27:53 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

  2. |
  3. ^
  4. ~