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.
HorseshoeNot functionXnorEquivalence gateXnor gateDouble turnstileTildeTribarNot operatorTurnstileDifference gateSheffer sequenceTriple barKronecker symbolEquivalenceWedgeIverson bracketAlternationBoolean derivativeBinary operatorNablaKarnaugh mapBoolean logicSignDe morgan's lawSteiner pointEquality signBarcan formulaDegreeLogic diagramEqualsMinus signPolish notationDivision signBus stopOnes' complementZhegalkin polynomialFerrers diagramArithmetic hierarchyMultiplication signPropositional calculusRight bracketSuperstackBitvectorHeyting algebraZero-order logicTruth treeDisjunctive syllogismBinary operationBoolean functionLemniscateSet-builder notationPlusTruth tableMinus-plus signSemiflowPostfix notationAngle bracketFalsumFormal logicBoolean algebraPlus signWedge productNemethUniversal quantifierTimes signLaw of double negationBoolean atomFigure dashContrapositiveFutoshikiTableauShunting-yard algorithmHerbrand's theoremRight-hand rulePancake theoremSymbol pusherDe morgan algebraQuantifierNemeth brailleSymbol pushingLaw of excluded middleCartesian squareSwitching algebraBlock graphNegabinaryTernary logicInfix operatorPochhammer symbolNot equal signGödel numberingGödel numberBithresholdLogical calculusSteiner systemStreamgraphCorner quoteMulticommutatorAntisigmaSign-value notation