Logical matrix

A logical matrix, in the finite dimensional case, is a k-dimensional array with entries from the boolean domain B = {0, 1}. Such a matrix affords a matrix representation of a k-adic relation.

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

Relational concepts

Template:Col-break

• Logic of relatives
• Relation

Template:Col-break

• Relation composition
• Relation construction

Template:Col-break

• Relation reduction
• Triadic relation

Template:Col-end

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

Template:Col-break

• Logical Matrix, MyWikiBiz
• Logical Matrix, Beta Wikiversity
• Logical Matrix, PlanetMath

Template:Col-break

• Logical Matrix, Wikinfo
• Logical Matrix, Textop Wiki
• Logical Matrix, Wikipedia

Template:Col-end
<sharethis />