AbstractIt is known that any binary

Abstract
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.
Mathematics Subject Classification: 03B52, 06D72, 08A72, 94D05
Keywords: fuzzy logic; binary logic; ternary logic; logic formulas

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

บทคัดย่อเป็นที่รู้จักกันว่า สามารถแสดงฟังก์ชันตรรกะแบบไบนารีใด ๆ (ในตรรกะแบบไบนารี)โดยสูตรตรรกะ อย่างไรก็ตามนี้ไม่จริงเสมอฟังก์ชันตรรกะแบบไตรภาค (ในตรรกะแบบไตรภาค) ฟังก์ชันตรรกะแบบไตรภาคสามารถแสดง โดยสูตรตรรกะน้อยถ้าและเฉพาะถ้ามันเป็นไปตามเงื่อนไขทางคณิตศาสตร์ที่เรียกว่าความ ยัง เป็นที่รู้จักกันว่า สูตรตรรกศาสตร์ (ในตรรกศาสตร์มาตรฐาน) ได้โดยหมายถึงตารางความจริงในตรรกะแบบไตรภาค เอกสารนี้นำเสนอวิธีการกำหนดสำหรับการขยายฟังก์ชันตรรกะแบบไบนารีเป็นแบบไตรภาคหนึ่ง (หรือมากกว่า)representable ตามตรรกะสูตร ฟังก์ชันตรรกะ และดังนั้น รับสูตรตรรกศาสตร์จากฟังก์ชันตรรกะแบบไบนารีคณิตศาสตร์เรื่องประเภท: 03B52, 06D 72, 08A72, 94D 05คำสำคัญ: ตรรกศาสตร์คลุม ตรรกะฐาน ตรรกะที่สาม สูตรตรรกะ

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

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

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

นามธรรม
มันเป็นที่รู้จักกันว่าฟังก์ชันตรรกะใด ๆเลขฐานสอง ( Binary Logic ) สามารถแสดง
อย่างน้อยหนึ่งตรรกะสูตร แต่นี้ไม่จริงเสมอ
สำหรับฟังก์ชันตรรกศาสตร์ Ternary ( Ternary ตรรกะ ) เป็นฟังก์ชันตรรกศาสตร์ Ternary
สามารถแสดงอย่างน้อยหนึ่งตรรกะสูตรถ้าและเพียงถ้ามันเข้าตา
เงื่อนไขทางคณิตศาสตร์ที่เรียกว่า ระเบียบ ยังเป็นที่รู้จักกัน
ที่สูตรตรรกศาสตร์ ( ตรรกศาสตร์มาตรฐาน ) สามารถหาได้โดย
หมายถึงความจริงตารางประกอบไปด้วยเหตุผล งานวิจัยนี้เสนอวิธีการ
destined สำหรับขยายฟังก์ชันตรรกะเลขฐานสองเป็นหนึ่ง ( หรือมากกว่า ) ฟังก์ชันตรรกศาสตร์ Ternary
( s ) representable อย่างน้อยหนึ่งตรรกะสูตรและ
ดังนั้นเพื่อให้ได้สูตรตรรกศาสตร์จากฟังก์ชันตรรกะเลขฐานสอง คณิตศาสตร์เรื่องหมวดหมู่ : 03b52
,06d72 08a72 94d05
, , ฟัซซี่ลอจิก Binary Logic ตรรกศาสตร์ Ternary ; ;
; ตรรกะสูตร