ที่ลงไว้ใน space ผมเองเหมือนจะอ่านง่ายกว่าอันนี้นะ
http://kogenta.spaces.live.com/ (แอบโฆษนาไปในตัว
)
หา dot ไม่เจอ ขอใช้ | แทน or & แทน and แล้วก็ ~ แทน not นะครับ
สูตรอันที่ใช้บ่อยๆก็
X = X & 1 , X & 1 = X อะไร and กับ true ก็ได้ตัวมันเอง
1 = X | 1 , X | 1 = 1 อะไร or กับ true ก็ได้ true เสมอ
a. A = S & T | V & W | R & S & T
= (S & T) | (V & W) | (R & S & T) จัดรูปให้ดูง่ายๆก่อน
= (S & T & 1) | (S & T & R) | (V & W) สลับที่อีกทีแล้วก็ใช้สูตรข้างบนน่ะแหละครับ
= S & T & (1 | R) | (V & W) Distributive
= (S & T & 1) | (V & W) 1 = X | 1
= (S & T) | (V & W) X & 1 = X
b.A = T & U & V | X & Y | Y
= (T & U & V) | (X & Y) | Y จัดรูปก่อน
= (T & U & V) | (X & Y) | (1 & Y) X = X & 1
= (T & U & V) | Y & (X | 1) Distributive
= (T & U & V) | (Y & 1) X | 1 = 1
= (T & U & V) | Y X & 1 = X
c.A = F & (E | F | G)
= (F & E) | (F & F) | (F & G) Distributive (กระจายหรือดึงตัวร่วมน่ะแหละครับ)
= (F & E) | F | (F & G) F & F = F
= (F & E) | (F & 1) | (F & G) X = X & 1
= F & (E | 1 | G) Distributive
= F & 1 X | 1 = 1
= F X & 1 = X
d.A = ~(~D & ~D & E)
= ~(~D & E) ~D & ~D = ~D
= D | ~E DeMorgan (โยน not ไปในวงเล็บ)
e.A = Y & ( W | X | ~(~Y | ~Z) ) & Z
= (Y & Z) & ( W | X | ~(~Y | ~Z) ) จัดรูปก่อน
= (Y & Z) & ( W | X | (Y & Z) ) DeMorgan
= (Y & Z & W) | (Y & Z & X) | (Y & Z & Y & Z) Distributive
= (Y & Z & W) | (Y & Z & X) | (Y & Z) X & X = X
= (Y & Z & W) | (Y & Z & X) | (Y & Z & 1) X = X & 1
= (Y & Z) & (W | X | 1) Distributive
= (Y & Z) & 1 X | 1 = 1
= Y & Z X & 1 = X
f.A = (B & E | C | F) & C
= (C & B & E) | (C & C) | (C & F) Distributive
= (C & B & E) | C | (C & F) X & X = X
= (C & B & E) | (C & 1) | (C & F) X = X & 1
= C & (B & E | 1 | F) Distributive
= C & 1 X | 1 = 1
= C X & 1 = X
หมดแล้วป่าวหว่า ข้อไหนผิดพลาดขออภัยมา ณ ที่นี้ด้วยครับ
(ห้ามใช้วิธีคนอร์แมพ[อุตส่าห์ไปถาม]ให้ใช้วิธีคูณแล้วตัดตัวซ้ำ)
