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