Then clearly (L, ∨, ∧, 0) is a GADL

Then clearly (L, ∨, ∧, 0) is a GADL with 0. Now, [a]∗ = [0], [b]∗ = {0, c} and
[c]∗ = {0, b}. We can see that x 6= y and [x]∗ 6= [y]∗ for all x, y ∈ L. Hence L is
disjunctive.

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

แล้วอย่างชัดเจน (L ∨ ∧ 0) คือ GADL กับ 0 ตอนนี้ ∗ [a] = [0], [b] ∗ = {0, c } และ[∗ c] = {0, b } เราสามารถเห็นว่า x 6 = y และ [x] ∗ 6 = [y] ∗สำหรับทุก x, y ∈ L. ดังนั้น L เป็นdisjunctive

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

แล้วอย่างเห็นได้ชัด (L, ∨, ∧, 0) เป็น GADL กับ 0. ตอนนี้ [] = [0], [b] * = {0, C} และ
[C] = {0, ข} เราจะเห็นว่า x 6 และ y = [x] * 6 = [] y * สำหรับทุก x, y ∈ลิตรดังนั้น L มี
ลักษณะที่แยกออก

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

แปลว่า ( L , ∨∧ , 0 ) เป็น gadl กับ 0 ตอนนี้ [ ] ∗ = [ 0 ] , [ b ] ∗ = { 0 } ,
c [ C ] ∗ = { 0 , b } เราจะเห็นได้ว่า x 6 = y และ [ X ] ∗ 6 = [ Y ] ∗สำหรับ x , y ∈ . ดังนั้น L
ดิซจัง .