Lesson 04 β€” Logic & Boolean Algebra

Bα»™ cΓ΄ng cα»₯ tΖ°Ζ‘ng tΓ‘c: 6 toΓ‘n tα»­ logic, truth table cho biểu thα»©c tΓΉy Γ½, De Morgan side-by-side, vΓ  mapping chΓ©o Logic ↔ Bitwise ↔ Set.

1. SΓ‘u toΓ‘n tα»­ cΖ‘ bαΊ£n

Mα»—i card hiển thα»‹ bαΊ£ng chΓ’n lΓ½ β€” đọc xuα»‘ng tα»« p, q tα»›i kαΊΏt quαΊ£.

2. Truth Table Builder β€” biểu thα»©c tΓΉy Γ½

CΓΊ phΓ‘p: biαΊΏn lΓ  chα»― cΓ‘i thường p q r s; toΓ‘n tα»­ ! (NOT), & (AND), ^ (XOR), | (OR), > (IMPLIES), = (IFF), dΓΉng () nhΓ³m. Độ Ζ°u tiΓͺn caoβ†’thαΊ₯p: ! > & > ^ > | > > > =.
MαΊ«u:

3. De Morgan Demonstrator

Phủ Δ‘α»‹nh của AND lΓ  OR của phủ Δ‘α»‹nh, vΓ  ngược lαΊ‘i β€” viz hiển thα»‹ bαΊ£ng cho cαΊ£ hai dαΊ‘ng, chΓΊng phαΊ£i khα»›p ở mọi hΓ ng.

4. Logic ↔ Bitwise ↔ Set β€” cΓΉng mα»™t Δ‘αΊ‘i sα»‘

Chọn 2 tαΊ­p A, B (mα»—i phαΊ§n tα»­ tick β†’ cΓ³ trong tαΊ­p) trΓͺn universe 8 phαΊ§n tα»­. CΓΉng phΓ©p toΓ‘n hiển thα»‹ bαΊ±ng 3 cΓ‘ch: logic mệnh đề tα»«ng phαΊ§n tα»­, bitwise trΓͺn bitmask 8-bit, vΓ  phΓ©p toΓ‘n tαΊ­p.

Set A:
Set B: