We labeled the terms for reference

We labeled the terms for reference and go in the order, B ¢ A, C ¢ B, C ¢ A, D ¢ C,...,omitting any computation when the term has been removed from the list. When a term is removed, we cross it out. The first consensus, B ¢ A, produces wyz; A is included in that term and can thus be removed. After the first step, the list becomes

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

เรามีข้อกำหนดสำหรับการอ้างอิง และไปตามลำดับ B เลข A, B C ลอก ลอก C A, C D เลข,..., ละเว้นการคำนวณใด ๆ เมื่อเงื่อนไขได้ถูกเอาออกจากรายการ เมื่อเอาคำ เราข้ามมันออก มติแรก B เลข A ผลิต w y z A อยู่ในระยะ และจึงสามารถถอดออก หลังจากขั้นตอนแรก รายการกลายเป็น

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

เรามีป้ายกำกับเงื่อนไขสำหรับการอ้างอิงและไปในการสั่งซื้อ B ¢ A, C ¢ B, C ¢ A, D ¢ C, ... , ละเว้นใด ๆ เมื่อคำนวณระยะได้ถูกลบออกจากรายการ เมื่อคำที่ถูกลบออกเราข้ามมันออกมา ความเห็นแรก, B ¢ A, ผลิต W? Y? Z ?; จะถูกรวมอยู่ในระยะที่สามารถจึงจะถูกลบออก หลังจากขั้นตอนแรกรายการจะกลายเป็น

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

เราติดป้ายว่าเงื่อนไขสำหรับการอ้างอิงและไปในการ¢ B , C ¢¢ B , C , D ¢ C , . . . , ละเว้นใด ๆ การคำนวณเมื่อระยะเวลาได้ถูกลบออกจากรายการ เมื่อระยะออก เราฆ่ามัน จึงตัดสินใจเดินทางไปเอกฉันท์ , B ¢ , ผลิต wyz ; รวมอยู่ในคำว่า และดังนั้นจึงสามารถที่จะเอาออกได้ หลังจากนั้นจึงตัดสินใจเดินทางขั้นรายการ กลายเป็น