Search by

jgillmanjr / php-proplogic

jgillmanjr

A simple propositional logic parser

Package info

github.com/jgillmanjr/php-propLogic

pkg:composer/jgillmanjr/php-proplogic

Security

Advisories: 0

Aikido package health analysis

Transparency log

Statistics

Installs: 22

Dependents: 0

Suggesters: 0

Stars: 0

Open Issues: 0

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

Requires

None

Requires (Dev)

None

Suggests

None

Provides

None

Conflicts

None

Replaces

None

Apache-2.0 4e4d835294d8b57ef5e33bd39a9e3284796a01fc

Published on Packagist.org on 2014-01-14 15:46 UTC

This package is not auto-updated.

Last update: 2026-10-06 11:10:59 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. ~