Math Is Fun Forum

lanxiyu

Member

Registered: 2022-05-10

Posts: 53

Identities of Boolean algebra (and extensions)

Commutative laws:

Associative laws:

Distributive laws:

Identity laws:

Annihilator laws:

Double negation:

Absorption laws:

Idempotent laws:

Complement laws:

De Morgan laws:

Material implication:

Biconditional:

Transposition:

Exportation:

Negation introduction:

Quantifier with condition:

Uniqueness quantifier:

Generalization/Instantiation:

Non-freeness:

Truth table:

Last edited by lanxiyu (2024-07-09 15:24:50)