Lemma 4 Given a relation r and an a

Lemma 4 Given a relation r and an arbitrary, but
fixed tuple t ∈ r, form the set
M = {(t, α, {s ∈ r|α `t s})}
where the minterm α is word in {0, 1}
n. Any tuple
s ∈ r belongs to one and only one implicant.
Proof Assume the contrary, that s belongs to two
different implicants. The implicants’ minterms must
disagree on at least one symbol at position i. Then
s.Ai will either agree with t.Ai and s will belong to
the minterm with αi = 1, or the converse; but not
both.

ผลลัพธ์ (ไทย) 1:

4 กำหนดให้ r เป็นความสัมพันธ์และการกำหนด การจับมือ แต่ถาวรทูเพิล t ∈ r แบบฟอร์มชุดM = { (t ด้วยกองทัพ, { s ∈ r|α ที s }) }คำในด้วยกองทัพ minterm {0, 1 }n. ทุกทูเพิลs ∈ r เป็นของ implicant เดียวเท่านั้นประมาณหลักฐานตรงกันข้าม อยู่ 2implicants ที่แตกต่างกัน ต้อง implicants' mintermsไม่เห็นด้วยกับสัญลักษณ์น้อยที่ i. ตำแหน่งแล้วs.Ai จะใดเห็นด้วยกับ t.Ai และ s จะเป็นสมาชิกของminterm กับ αi = 1 หรือตรงกันข้าม แต่ไม่ทั้งสอง

ผลลัพธ์ (ไทย) 2:

แทรก 4 กำหนดอาสัมพันธ์และพล
แต่คงtuple เสื้อ∈ R, รูปแบบชุด
M = {(t, α, {s ∈ R | αทีเอส `})}
ที่α minterm เป็นคำใน {0, 1 }
n tuple ใด
s ∈ R เป็นเพียงหนึ่งเดียวและ implicant.
พิสูจน์สมมติตรงกันข้ามที่ s เป็นสอง
implicants ที่แตกต่างกัน minterms implicants
'ต้องไม่เห็นด้วยอย่างน้อยหนึ่งสัญลักษณ์ที่ฉันตำแหน่ง จากนั้น
s.Ai อย่างใดอย่างหนึ่งจะเห็นด้วยกับ t.Ai และ s จะเป็น
minterm กับαi = 1 หรือสนทนา; แต่ไม่ทั้งสอง