MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Skolem normal formConjunctive normal formLogical norMonadic predicate calculusDisjunctive normal formAtomic formulaNegationDouble negationBoolean algebraClauseCanonical normal formSimple groupBoolean domainGreibach normal formFunctional completenessSheffer strokeClosed-form expressionPropositional variableMonomialEquationRule of replacementAntisymmetric relationFormulaLogical conjunctionPolynomialPermutation matrixNon-negative least squaresSatisfiabilityComposition algebraSymmetric differenceBoolean expressionOrdinary differential equationExpressionCombinatory logicAxiomatic systemStrict conditionalBoolean functionCompactness theoremInvertible matrixAsymmetric relationSimple lie groupNecessity and sufficiencyPrinciple of bivalenceIndicator functionPropositional formulaCanonical formAlgebraic expressionShift matrixInverse function ruleAssociative propertyLinear differential equationSyntactic monoidSkew-symmetric matrixSimple lie algebraProof by contradictionIrreducible fractionComplete boolean algebraLogical biconditionalTorsion-free moduleTruth valueTranscendental equationNormal subgroupMonotonic functionNegation as failureProof by contrapositiveRule of inferenceAlgebraic independenceIrreducible elementTransitive closureSemisimple lie algebraGeneralized inverseFree variables and bound variablesHorn clauseSyntaxStandard basisSublinear functionTruth tableLogical connectiveLinear independenceContrapositionAlgebraic logicDiagonal matrixRational numberSequent calculusMaximum satisfiability problemInequalityBoolean matrixInteger complexitySum-free setSquare-free integerDefinite quadratic formPrincipal valueDiophantine equationPrinciple of compositionalityNor logicParity functionSpecial linear lie algebraFormal languageAlgebraic numberRiccati equation