Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2023-11-23 05:28:13

lanxiyu
Member
Registered: 2022-05-10
Posts: 33

Identities of Boolean algebra (and extensions)

Commutative laws:







Associative laws:



Distribution 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 (2023-12-19 10:03:02)

Offline

Board footer

Powered by FluxBB