function, but a logic function can

function, but a logic function can be represented by several logic formulas.
Boole’s expansion theorem [3, pp. 98] represents one way to guarantee that
there exists at least one logic formula for a logic function. Therefore, binary
logic functions are representable by logic formulas

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

ฟังก์ชัน แต่ฟังก์ชันตรรกะสามารถแสดงได้ โดยตรรกะหลายสูตรทฤษฎีบทขยายของหญิงปูเล่ [3, pp. 98] แสดงวิธีหนึ่งที่จะรับประกันได้ว่ามีอยู่น้อยหนึ่งตรรกะสูตรสำหรับฟังก์ชันตรรกะ ดังนั้น ไบนารีฟังก์ชันตรรกะมีฟอร์มสูตรตรรกะ

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

ฟังก์ชั่น แต่ฟังก์ชั่นตรรกะสามารถแสดงโดยสูตรตรรกะหลาย.
ทฤษฎีบทการขยายตัวของ Boole [3, PP. 98] แสดงให้เห็นถึงวิธีหนึ่งที่จะรับประกันได้ว่า
มีอยู่สูตรตรรกะอย่างน้อยหนึ่งสำหรับการทำงานตรรกะ ดังนั้นไบนารี
ฟังก์ชันตรรกะเป็นแทนได้โดยสูตรตรรกะ

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

ฟังก์ชั่น แต่ตรรกะฟังก์ชันสามารถแทนได้ด้วยสูตรตรรกะต่างๆบูลก็ขยายทฤษฎีบท [ 3 , pp . 98 ] เป็นวิธีหนึ่งที่จะรับประกันได้ว่ามีอยู่อย่างน้อยหนึ่งตรรกะตรรกะสูตรสำหรับฟังก์ชัน ดังนั้น ไบนารีฟังก์ชันจะ representable สูตรตรรกะโดย