2017 © Pedro Peláez
 

library php-proplogic

A simple propositional logic parser

image

jgillmanjr/php-proplogic

A simple propositional logic parser

  • Tuesday, January 14, 2014
  • by jgillmanjr
  • Repository
  • 1 Watchers
  • 0 Stars
  • 13 Installations
  • PHP
  • 0 Dependents
  • 0 Suggesters
  • 0 Forks
  • 0 Open issues
  • 5 Versions
  • 0 % Grown

The README.md

php-propLogic

My attempt at a very basic propositional logic parser in PHP., (*1)

Supported Operations * Negation (~) * Inclusive Disjunction (|) * Conjunction (^) * Material Implication (>), (*2)

Operator Precedence: Higher number == higher precedence, (*3)

  1. >
  2. |
  3. ^
  4. ~

The Versions

14/01 2014

dev-master

9999999-dev https://github.com/jgillmanjr/php-propLogic

A simple propositional logic parser

  Sources   Download

Apache-2.0

14/01 2014

v1.0.1

1.0.1.0 https://github.com/jgillmanjr/php-propLogic

A simple propositional logic parser

  Sources   Download

Apache-2.0

10/01 2014

v1.0.0

1.0.0.0 https://github.com/jgillmanjr/php-propLogic

A simple propositional logic parser

  Sources   Download

Apache-2.0

10/01 2014

dev-partDeux

dev-partDeux https://github.com/jgillmanjr/php-propLogic

A simple propositional logic parser

  Sources   Download

Apache-2.0

30/12 2013

v0.5.0-beta

0.5.0.0-beta https://github.com/jgillmanjr/php-propLogic

A simple propositional logic parser

  Sources   Download

Apache-2.0