jgillmanjr/php-proplogic

A simple propositional logic parser

Maintainers

Package info

github.com/jgillmanjr/php-propLogic

pkg:composer/jgillmanjr/php-proplogic

Statistics

Installs: 22

Dependents: 0

Suggesters: 0

Stars: 0

Open Issues: 0

Security

Advisories: 0

Aikido package health analysis

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

Apache-2.0 4e4d835294d8b57ef5e33bd39a9e3284796a01fc

This package is not auto-updated.

Last update: 2026-04-07 08:36:24 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. ~