It is known that any binary logic f

It is known that any binary logic function (in binary logic) can be represented
by at least one logic formula, however this is not always true
for a ternary logic function (in ternary logic). A ternary logic function
can be represented by at least one logic formula if and only if it satisfies
a mathematical condition which is called regularity. Also, it is known
that a fuzzy logic formula (in standard fuzzy logic) can be obtained by
means of truth tables in ternary logic. This paper presents a method
destined for extending a binary logic function into one (or more) ternary
logic function(s) representable by at least one logic formula, and
therefore, to obtain fuzzy logic formulas from a binary logic function

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

เป็นที่ทราบกันว่า สามารถแสดงได้ทุกฟังก์ชันตรรกะแบบไบนารี (ในตรรกะแบบไบนารี)โดยสูตรตรรกะ อย่างไรก็ตามนี้ไม่จริงเสมอสำหรับฟังก์ชันตรรกะแบบไตรภาค (ในตรรกะแบบไตรภาค) ฟังก์ชันตรรกะแบบไตรภาคสามารถแสดง โดยสูตรตรรกะน้อยหนึ่งเท่านั้นหากจะตอบสนองเงื่อนไขทางคณิตศาสตร์ที่เรียกว่าสม่ำเสมอ นอกจากนี้ เป็นที่รู้จักกันว่า สูตรตรรกศาสตร์ (ในมาตรฐานตรรกศาสตร์) ได้โดยหมายถึงตารางความจริงในตรรกะแบบไตรภาค เอกสารนี้นำเสนอวิธีการกำหนดไว้สำหรับการขยายฟังก์ชันตรรกะแบบไบนารีเป็นแบบไตรภาค (หนึ่ง)ฟอร์ม โดยตรรกะสูตร ฟังก์ชันตรรกะ และดังนั้น การขอสูตรตรรกศาสตร์จากฟังก์ชันตรรกะแบบไบนารี

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

เป็นที่รู้กันว่ามีฟังก์ชั่นตรรกะไบนารี (ในตรรกะ binary)
สามารถแสดงอย่างน้อยหนึ่งสูตรตรรกะอย่างไรก็ตามเรื่องนี้ไม่จริงเสมอสำหรับฟังก์ชั่นประกอบไปด้วยตรรกะ
(ในตรรกะ ternary) ฟังก์ชั่นประกอบไปด้วยตรรกะสามารถแสดงโดยอย่างน้อยหนึ่งสูตรตรรกะและถ้าหากมันสอดคล้องกับสภาพทางคณิตศาสตร์ที่เรียกว่าระเบียบ นอกจากนี้ก็เป็นที่รู้จักกันว่าสูตรตรรกศาสตร์ (มาตรฐานตรรกศาสตร์) สามารถหาได้โดยวิธีการของตารางความจริงในตรรกะประกอบไปด้วย บทความนี้นำเสนอวิธีการที่กำหนดสำหรับการขยายการทำงานตรรกะไบนารีเป็นหนึ่ง (หรือมากกว่า) ประกอบไปด้วยฟังก์ชั่นตรรกะ(s) ซึ่งแสดงอย่างน้อยหนึ่งสูตรตรรกะและดังนั้นเพื่อให้ได้สูตรตรรกศาสตร์จากฟังก์ชั่นตรรกะไบนารี