∼∼α α∧β α∨β

α
α
α β
β

α→β (α ↔ β ) ∼(α
∼(α ∧ β)

α ∼α
∼α β ∼α ∼β
β ∼β

∼(α ∨ β) ∼(α → β) ∼(α

∼(α ↔ β)

∼α α
α ∼α
∼β ∼β
∼β β