where (1) means ((x ¢ y) ¢ (x ¢ z))

where (1) means ((x ¢ y) ¢ (x ¢ z)) ¢ (z ¢ y) = 0: In the sequel dots we use only to
avoid repetitions of brackets.

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

ซึ่งหมายถึง (1) ((x ¢ y) เลข (x z เลข)) เลข (z หมาย y) = 0: จุดภาคเราใช้เพื่อหลีกเลี่ยงการทำซ้ำของเล็บ

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

ที่ (1) หมายถึง ((x ¢ Y) ¢ (x ¢ซี)) ¢ (ซี¢) y = 0: ในจุดผลสืบเนื่องที่เราใช้เพียงเพื่อที่จะ
หลีกเลี่ยงการเกิดซ้ำของวงเล็บ

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

ที่ ( 1 ) ค่าเฉลี่ย ( X ¢ Y ( x ) ¢¢ Z ) ¢ ( Z ¢ Y ) = 0 ในผลสืบเนื่องจุดที่เราใช้เท่านั้น

หลีกเลี่ยง repetitions ของเครื่องหมายวงเล็บ