Logic Live

NB. This page will be used as a focal node or a branch point for a collection of related articles.

For the time being, the following will serve as a rough inventory of raw materials that will be developed as time goes by.

Syllabus

Logical operators

Template:Col-break

• Exclusive disjunction
• Logical conjunction
• Logical disjunction
• Logical equality

Template:Col-break

• Logical implication
• Logical NAND
• Logical NNOR
• Negation

Template:Col-end

Related topics

Template:Col-break

• Ampheck
• Boolean domain
• Boolean function
• Boolean-valued function

Template:Col-break

• Logical graph
• Logical matrix
• Minimal negation operator
• Peirce's law

Template:Col-break

• Propositional calculus
• Truth table
• Universe of discourse
• Zeroth order logic

Template:Col-end