View Source Cogito.Logic (Cogito v1.2.0)

Logic formulas parser.

Returns the parsing tree from:

• {:impl, l, r} – implication
• {:dsj, l, r} – disjunction
• {:cnj, l, r} – conjunction
• {:neg, e} – negation
• {:var, n} – variable
• :false – false

Note that {:neg, e} equivalent to {:impl, e, :false}.