argutia.logic
Interfaces
Atom
Literal
Classes
Clause
Formula
LogicalConnector
NegativeLiteral
PropositionalVariable
TruthSymbol