Logical connectives

Computing portal

Here is a list of articles in the Logical connectives category of the Computing portal that unifies foundations of mathematics and computations using computers.

Pages in category "Logical connectives"

The following 22 pages are in this category, out of 22 total.

v t e Logical connectives
Tautology/True [math]\displaystyle{ \top }[/math]
Alternative denial (NAND gate) [math]\displaystyle{ \uparrow }[/math] Converse implication [math]\displaystyle{ \leftarrow }[/math] Implication (IMPLY gate) [math]\displaystyle{ \rightarrow }[/math] Disjunction (OR gate) [math]\displaystyle{ \or }[/math]
Negation (NOT gate) [math]\displaystyle{ \neg }[/math] Exclusive or (XOR gate) [math]\displaystyle{ \not\leftrightarrow }[/math] Biconditional (XNOR gate) [math]\displaystyle{ \leftrightarrow }[/math] Statement
Joint denial (NOR gate) [math]\displaystyle{ \downarrow }[/math] Nonimplication (NIMPLY gate) [math]\displaystyle{ \nrightarrow }[/math] Converse nonimplication [math]\displaystyle{ \nleftarrow }[/math] Conjunction (AND gate) [math]\displaystyle{ \and }[/math]
Contradiction/False [math]\displaystyle{ \bot }[/math]

Logical connectives

Topic: Category

Pages in category "Logical connectives"

B

C

D

E

F

I

M

N

S

T