Conjunction

From MediaWiki
Jump to navigation Jump to search

Conjunction

Conjunction is the logical operation corresponding to "AND". It returns true only if both propositions are true.

Symbols

  • p ∧ q (standard notation)
  • p & q (common alternative)
  • p AND q (in programming)

Definition

The conjunction of p and q is true if and only if both are true.

Truth Table

p q p ∧ q
T T T
T F F
F T F
F F F

Examples

  • If p = "I study" and q = "I pass the exam",
 then p ∧ q = "I study and I pass the exam".
  • In Python: p and q
  • In Java: p && q