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.
Disjunctive normal formCanonical conjunctive normal formCanonical disjunctive normal formRing sum normal formT-norm fuzzy logicDisjunctive syllogismDe morgan's lawPrime formulaFirst normal formSequentFifth normal formInclusive disjunctionFormal logicClosed formulaSecond normal formAlgebraic normal formBarcan formulaCanonical formExclusive orFourth normal formDegreeValuation functionConnectiveThird normal formMaximalBoyce-codd normal formLogical calculusBoolean algebraLaw of excluded middleFree boolean algebraPropositional calculusBoolean functionBiconditionalLaw of double negationAlternationEquisatisfiabilitySkolemizationExclusive disjunctionHorn clauseConsensus theoremElementary equivalenceLaw of the excluded middleBoolean logicUniversal quantifierTruth functionLinear logicBuridan formulaTruth tableEquivalenceNormal formNot functionPolish notationKripke modelBoolean atomT-normComposition algebraDisjunctionContextT-conormNot operatorArithmetical hierarchyPropositional constantPrenexContrapositiveTernary logicMonadic second-order logicArithmetical setConormalityMultiformulaMany-sorted logicFormulaGödel numberingHerbrandizationMathematical logicMany-valued logicN-typeKarnaugh mapN-tupleQuantifierCoinductionCanonical formalismSecond-order logicZero-order logicConormQuantum logicContradictionValuationDe morgan algebraCompletenessStructureRegular expressionIntuitionistic logicGödel numberCounionXnorCoherentizationConstructive logicFuzzy logicClosed formConcomitant