Logo
Pattern

Discover published sets by community

Explore tens of thousands of sets crafted by our community.

Propositional Logic Connectives

8

Flashcards

0/8

Still learning
StarStarStarStar

Conjunction

StarStarStarStar

Symbol: ∧\land Usage: p∧qp \land q is true only if both pp and qq are true.

StarStarStarStar

Disjunction

StarStarStarStar

Symbol: ∨\lor Usage: p∨qp \lor q is true if at least one of pp or qq is true.

StarStarStarStar

Negation

StarStarStarStar

Symbol: ¬\neg Usage: ¬p\neg p is true if pp is false.

StarStarStarStar

Conditional

StarStarStarStar

Symbol: →\rightarrow Usage: p→qp \rightarrow q is false only if pp is true and qq is false.

StarStarStarStar

Biconditional

StarStarStarStar

Symbol: ↔\leftrightarrow Usage: p↔qp \leftrightarrow q is true only if both pp and qq have the same truth value.

StarStarStarStar

Exclusive Or (XOR)

StarStarStarStar

Symbol: ⊕\oplus Usage: p⊕qp \oplus q is true if and only if pp is true or qq is true, but not both.

StarStarStarStar

NAND

StarStarStarStar

Symbol: ↑\uparrow Usage: p↑qp \uparrow q is true unless both pp and qq are true.

StarStarStarStar

NOR

StarStarStarStar

Symbol: ↓\downarrow Usage: p↓qp \downarrow q is true if both pp and qq are false.

Know
0
Still learning
Click to flip
Know
0
Logo

© Hypatia.Tech. 2024 All rights reserved.