Notable Peru Mariachis

    7 packages found

    A resolution-based propositional logic tool

    published 0.2.1 6 years ago
    M
    Q
    P

    combine predicate (bool returning) functions with propositional logic connectives (and, or, not)

    published 1.0.0 10 years ago
    M
    Q
    P

    Propositional Satisfiability Checker

    published 1.1.0 2 years ago
    M
    Q
    P

    Propositional Logic Problem Generator

    published 1.0.0 2 years ago
    M
    Q
    P

    A 316B implementation of Three Valued Logic in Javascript

    published 1.1.0 3 years ago
    M
    Q
    P

    A resolution-based propositional logic tool

    published 0.3.1 4 years ago
    M
    Q
    P

    An interpreter of well-formed formulas in propositional calculus.

    published 0.0.1 8 years ago
    M
    Q
    P