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.
NegationDouble negationNor logicTruth functionDisjunctionProof by contrapositiveInverseExclusive orEquivalenceTruth valueStrict conditionalLaw of excluded middleNegation normal formExclusive disjunctionLogical conjunctionLogical connectiveBoolean expressionSheffer strokeDe morgan's lawLaw of noncontradictionBoolean algebraDisjunctive normal formConjunctive normal formUnconditionalContrapositionProof by contradictionBoolean variableBoolean logicBoolean functionDisjunctNegation as failureConjunction introductionConverseFunctional completenessBiconditionalMutual exclusivityConditional proofClassical logicMonotone functionPropositional logicInclusive orConjunctionPropositional variableBoolean domainTruth treeLogic gateBoolean data typeProvability logicModus tollensDisjunctive syllogismDifferenceNecessity and sufficiencyComplementary eventIf and only ifClauseTruth tableHypothetical syllogismNegative logicInverse functionCommutative propertyPropositional functionAnticommutative propertyAntisymmetric relationConjugationLogical consequenceAsymmetric relationCombinatory logicParity functionRelevance logicSymbolic logicSymmetric differenceProof systemModus tollendo ponensSyntaxRelational operatorConjunctive queryZhegalkin polynomialAssociative propertyAntecedentBinary functionNonidentityDenying the antecedentPrinciple of bivalenceBinary operationCategorical propositionBoolean matrixFunction compositionCounterextensionAffine logicSecond-order logicPropositional formulaAnd-or-invertT-norm fuzzy logicMajority functionIntensional logicElementary equivalenceMonotonic functionMinor premiseComplementOperation