(&-) - ⊕ - exclusive disjunction ≈ ( α ∨ β ) ∧ ¬(α∧β )
¬α ∧ ¬ β ≈ ¬(α ∨ β)
¬(¬α ∨ ¬β ) ≈ α ∧ β
α ∨ β ≈ ¬(¬ α )
The technical perspective of the three connectives
The three connectives can express every truth function.
((α ∧ β ) ∧ γ ) ≈ (α ∧ (β ∧ γ ))
Basic conjunctions