Math Symbol Toolkit

Verified formula topic

Logic Formulas

Browse 0 reviewed logic formulas with concrete inputs, outputs, calculations, applicability checks, and LaTeX.

Browse 1 supporting references

Logic

De Morgan Law for Logic

\neg(p\land q)\equiv(\neg p)\lor(\neg q)

Rewrites the negation of a conjunction as a disjunction of negations.

Open formula

Search the whole reference

Symbols, formulas, guides, tools and commands

Start typing to search.

↑↓ move · Enter open · Esc close