Conjunction ∧

Conjunction, also known as a logical AND, is a basic operation in propositional logic. The statment φ ∧ ψ is true when the statement φ and the statement ψ are both true.

Truth Table

Definition

Write this!

Properties

Propositional Logic

Login to edit