jgillmanjr/php-proplogic

简单的命题逻辑解析器

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

This package is not auto-updated.

Last update: 2024-09-24 01:02:39 UTC


README

我在PHP中尝试实现的非常基础的命题逻辑解析器。

支持的操作

  • 否定 (~)
  • 包容或 (|)
  • 合取 (^)
  • 材料蕴涵 (>)

运算符优先级:数字越大优先级越高

  1. |
  2. ^
  3. ~