Logic Module¶

Global Variables¶

iglsynth.logic.core.TRUE = AP(name=true)¶

iglsynth.logic.core.FALSE = AP(name=false)¶

ILogic (Interface Class)¶

SyntaxTree¶

Atomic Propositions¶

Alphabet¶

Propositional Logic Formulas¶

Read the Docs v: latest

Versions: latest; stable; v0.2

Downloads: pdf; html; epub

On Read the Docs: Project Home; Builds

Free document hosting provided by Read the Docs.