• Logic Expressions
• Logic Language
• Examples of propositional logic expressions
• Operator precedence and associativity
• Language/parser options
• Examples of strict parentheses mode expressions
• Examples of non-strict parentheses mode expressions
• Transformation Rules
• Transformation Rules Index
• truthValues
• domination
• complement
• identity
• idempotence
• absorption
• inverseAbsorption
• commutativity
• associativity
• distributivity
• deMorgan
• doubleNegation
• negativeConjunction
• negativeDisjunction
• implication
• negativeImplication
• negativeImplicationToImplication
• biimplication
• biimplicationToImplication
• exclusiveDisjunction
• exclusiveDisjunctionToImplication
• Tests
• Test Index
• atomic
• constant
• negationOperator
• conjunctionOperator
• disjunctionOperator
• negativeConjunctionOperator
• negativeDisjunctionOperator
• junctionOperator
• negativeJunctionOperator
• implicationOperator
• negativeImplicationOperator
• biimplicationOperator
• exclusiveDisjunctionOperator
• binaryOperator
• normalFormOperators
• atomicNegation
• atomicConjunction
• atomicDisjunction
• Functions
• Function Index
• Basic Functions
• logicSetOptions
• logicParse
• logicGetError
• logicStringify
• logicEvaluate
• logicSort
• Expression Inspection
• logicGetOperators
• logicGetVariables
• logicGetOperands
• logicGetExpression
• Expression Search
• logicFindOperator
• logicFindExpression
• logicFindRuleApplications
• Expression Transformations
• logicApplyRule
• logicApplyRules
• logicCreateExpression
• logicReplaceExpression
• logicDeleteExpression
• Expression Simplifications
• logicSimplifyNNF
• logicSimplifyCNF
• logicSimplifyDNF
• logicSimplify
• Basic Expression Tests
• logicValid
• logicValued
• logicSorted
• Expression Normal Form Tests
• logicCheckTests
• logicCheckNNF
• logicCheckCNF
• logicCheckDNF
• Expression Simplification Tests
• logicSimplifiedNNF
• logicSimplifiedCNF
• logicSimplifiedDNF
• logicSimplified
• Expression Comparison Tests
• logicIdentical
• logicEqual
• logicEquivalent
• logicAlwaysEqual
• logicFindAlwaysEqualCounterexample