BECKHOFF

BECKHOFF EP7041-0002 โมดูลมอเตอร์สเต็ปเปอร์ EtherCAT Box

SKU EP7041-0002

มีในสต็อก
  • 12-month warranty
  • Free returns within 30 days
  • Manufacturer: BECKHOFF
  • Product No.: EP7041-0002
  • Origin เยอรมนี
  • Product Type: EtherCAT Box
  • Payment: T/T, Western Union
  • Weight: 0.165 kg
  • Shipping port: Xiamen
  • Warranty: 12 months

Tags

ปริมาณ

Product Description

คำอธิบาย

BECKHOFF EP7041-0002 EtherCAT Box เป็นโมดูลระบบอัตโนมัติอุตสาหกรรมขนาดกะทัดรัดที่ออกแบบมาสำหรับการเชื่อมต่อมอเตอร์สเต็ปเปอร์โดยตรงในสภาพแวดล้อมที่รุนแรง ด้วยระดับการป้องกัน IP65, IP66 และ IP67 โมดูลที่เชื่อมต่อผ่าน IP อันแข็งแกร่งนี้จึงผสานรวมเข้ากับเครือข่ายอุตสาหกรรม EtherCAT ได้อย่างราบรื่น พร้อมมอบการควบคุมการเคลื่อนไหวความแม่นยำสูงโดยตรงที่เครื่องจักรโดยไม่ต้องใช้ตู้ควบคุม

อุปกรณ์นี้รวมเอาต์พุตสเตจมอเตอร์สเต็ปเปอร์ เอาต์พุตดิจิทัล 24 V DC อินพุตดิจิทัล 2 ช่อง และการเชื่อมต่อในตัวสำหรับระบบเอ็นโคเดอร์ 24 V DC รองรับมอเตอร์สเต็ปเปอร์ 2 เฟสทั้งแบบยูนิโพลาร์และไบโพลาร์ โดยมีกระแสเอาต์พุตพิกัด 3.5 A และกระแสพีกสูงสุด 5.0 A การควบคุมระยะทางการเคลื่อนที่ในตัวและการรองรับนาฬิกาแบบกระจายช่วยให้การซิงโครไนซ์และการกำหนดตำแหน่งในงานผลิตและอุปกรณ์ขนถ่ายแบบอัตโนมัติมีความแม่นยำ

คุณสมบัติ

  • การเชื่อมต่อโดยตรงที่ระดับเครื่องจักรสำหรับมอเตอร์สเต็ปเปอร์ 2 เฟส 1 ตัว และเอาต์พุตดิจิทัล 24 V DC 1 ช่อง
  • อินพุตดิจิทัล 2 ช่อง และอินเทอร์เฟซการเชื่อมต่อเฉพาะสำหรับระบบเอ็นโคเดอร์ 24 V DC
  • ความถี่สเต็ปกำหนดค่าได้สูงสุด 8000 สเต็ปเต็มต่อวินาที พร้อมไมโครสเต็ป 64 เท่า
  • ตัวควบคุมกระแสในตัวที่ทำงานที่ความถี่ประมาณ 30 kHz
  • รองรับนาฬิกาแบบกระจายสำหรับการควบคุมการทำงานของหลายแกนให้ซิงโครไนซ์กัน
  • เอาต์พุตป้องกันการโอเวอร์โหลดและลัดวงจร พร้อมการวินิจฉัยข้อผิดพลาดของเฟสและการสูญเสียขั้นอย่างครอบคลุม
  • ตัวเรือนที่ทนทานระดับ IP65/IP66/IP67 สำหรับสภาพแวดล้อมอุตสาหกรรมที่รุนแรง

การใช้งาน

  • งานกำหนดตำแหน่งและขับเคลื่อนแบบกระจายในระบบอัตโนมัติของโรงงาน
  • ระบบขนถ่ายและประกอบที่ต้องการระบบควบคุมการเคลื่อนที่โดยไม่ใช้ตู้ควบคุม
  • เครื่องจักรบรรจุภัณฑ์และติดฉลาก
  • ระบบลำเลียงและคัดแยกที่มีสถาปัตยกรรม I/O แบบกระจาย

ข้อมูลจำเพาะทางเทคนิค

ทั่วไป

พารามิเตอร์ ข้อมูลจำเพาะ
ผู้ผลิต BECKHOFF
รุ่นที่แน่นอน EP7041-0002
ประเภทผลิตภัณฑ์ กล่อง EtherCAT
โปรโตคอล EtherCAT

ระบบไฟฟ้า

พารามิเตอร์ ข้อมูลจำเพาะ
จำนวนเอาต์พุต มอเตอร์สเต็ปเปอร์ 1 ตัว, เอาต์พุตดิจิทัล 1 ช่อง (24 V DC)
จำนวนอินพุต อินพุตดิจิทัล 2 ช่อง, อินพุตระบบเอ็นโคเดอร์ 1 ช่อง (เอ็นโคเดอร์ 24 V DC)
ประเภทโหลด สเต็ปเปอร์มอเตอร์ 2 เฟส (ยูนิโพลาร์/ไบโพลาร์)
กระแสเอาต์พุต กระแสพิกัด 2 x 3.5 A, กระแสสูงสุด 2 x 5 A (ป้องกันโอเวอร์โหลดและลัดวงจร)
การใช้กระแสไฟจาก US 120 mA
การแยกทางไฟฟ้า 500 V

ประสิทธิภาพ

พารามิเตอร์ ข้อมูลจำเพาะ
ความถี่สเต็ป กำหนดค่าได้สูงสุด 8,000 สเต็ปเต็มต่อวินาที
รูปแบบสเต็ป ไมโครสเต็ปแบบ 64 เท่า
ความถี่ของตัวควบคุมกระแส ประมาณ 30 kHz
ความละเอียด ประมาณ 5,000 ตำแหน่งต่อรอบ (ขึ้นอยู่กับประเภทของมอเตอร์และเอ็นโคเดอร์)
Distributed Clocks มี

การเชื่อมต่อและอินเทอร์เฟซ

พารามิเตอร์ ข้อมูลจำเพาะ
อินเทอร์เฟซบัส ช่องต่อ M8 จำนวน 2 ช่อง มีชีลด์ แบบสกรู
วิธีการเชื่อมต่อ (อินพุต/เอาต์พุต/เอ็นโคเดอร์) M12 x 1, 5 พิน, เข้ารหัสแบบ A
การเชื่อมต่อแหล่งจ่ายไฟ การป้อน: ช่องต่อตัวผู้ M8 จำนวน 1 ช่อง แบบ 4 พิน; การเชื่อมต่อไปยังอุปกรณ์ถัดไป: ช่องต่อตัวเมีย M8 จำนวน 1 ช่อง แบบ 4 พิน

ข้อมูลด้านกลไกและสภาพแวดล้อม

พารามิเตอร์ ข้อมูลจำเพาะ
ระดับการป้องกัน IP65 / IP66 / IP67 (สอดคล้องตาม EN 60529)
ตำแหน่งติดตั้ง ปรับเปลี่ยนได้
ช่วงอุณหภูมิขณะทำงาน -25 ถึง +60 องศาเซลเซียส
ช่วงอุณหภูมิการจัดเก็บ -40 ถึง +85 องศาเซลเซียส
น้ำหนักสุทธิ ประมาณ 165 กรัม
ความทนทานต่อการสั่นสะเทือน / แรงกระแทก สอดคล้องตาม EN 60068-2-6 / EN 60068-2-27
ภูมิคุ้มกัน EMC / การปล่อยสัญญาณรบกวน สอดคล้องตาม EN 61000-6-2 / EN 61000-6-4

การรับรองและใบรับรอง

พารามิเตอร์ ข้อมูลจำเพาะ
การรับรอง CE, ATEX
เครื่องหมาย Ex II 3 G Ex nA IIC T4 Gc

แนวทางการติดตั้ง

  1. ตรวจสอบให้แน่ใจว่าระบบควบคุมอุตสาหกรรมและแหล่งจ่ายไฟทั้งหมดไม่มีพลังงานไฟฟ้าโดยสมบูรณ์ก่อนเริ่มการติดตั้งทางกลหรือเดินสายไฟฟ้า
  2. ตรวจสอบตัวเรือนโมดูล ขั้วต่อ M8 และ M12 รวมถึงซีลว่ามีความเสียหายหรือสิ่งปนเปื้อนที่มองเห็นได้หรือไม่
  3. ติดตั้ง EP7041-0002 ให้แน่นหนากับพื้นผิวเครื่องจักรเรียบหรือโปรไฟล์ติดตั้ง โดยใช้ตัวยึดที่เหมาะสมผ่านรูยึด
  4. เชื่อมต่อสายเครือข่าย EtherCAT เข้ากับช่องต่ออินเทอร์เฟซบัส M8 โดยตรวจสอบให้แน่ใจว่าความต่อเนื่องของชีลด์ถูกต้อง
  5. เชื่อมต่อแหล่งจ่ายไฟ 24 V DC เข้ากับช่องต่อป้อนสายตัวผู้ M8 และเชื่อมต่อไฟฟ้าไปยังอุปกรณ์ถัดไปหากมี
  6. เชื่อมต่อสเต็ปเปอร์มอเตอร์ เอ็นโคเดอร์ และสายสัญญาณดิจิทัล I/O เข้ากับพอร์ต M12 ที่กำหนดตามแผนผังการเดินสายของระบบ
  7. ตรวจสอบการเชื่อมต่อ ระดับแรงดันที่อาจเกิดขึ้น และการกำหนดค่าเครือข่ายทั้งหมดก่อนจ่ายไฟกลับคืนและเริ่มใช้งานแกนในซอฟต์แวร์ควบคุม
Shipping & Returns

Global Express Shipping

  • Standard Delivery: 4–6 business days via DHL, FedEx, and UPS.
  • Express Dispatch: Same-day dispatch for in-stock orders placed before 2:00 PM (GMT+8).
  • Worldwide Coverage: Serving over 150 countries.

Returns & Warranty

  • 30-Day Guarantee: Returns accepted for in-stock products in original, factory-sealed packaging.
  • 12-Month Warranty: Every industrial component is backed by our technical warranty.
FAQ
What is the primary function of the BECKHOFF EP7041-0002?
The BECKHOFF EP7041-0002 is an EtherCAT Box designed to control a 2-phase stepper motor directly on a machine while providing integrated digital I/O and encoder processing.
What protection rating does the BECKHOFF EP7041-0002 feature?
The BECKHOFF EP7041-0002 features IP65, IP66, and IP67 protection ratings, making it suitable for cabinet-free installation in harsh industrial environments.
What motor current ratings are supported by the BECKHOFF EP7041-0002?
The BECKHOFF EP7041-0002 supports an output current of 3.5 A nominal and up to 5.0 A peak current per phase, with integrated overload and short-circuit protection.
Does the BECKHOFF EP7041-0002 support synchronized motion?
Yes, the BECKHOFF EP7041-0002 supports distributed clocks for precise synchronization in multi-axis automation tasks.
Reviews

EP7041-0002

Stock & lead time on request

Call
1 จาก 1

BECKHOFF EP7041-0002 โมดูลมอเตอร์สเต็ปเปอร์ EtherCAT Box

Only 10 item(s) left in stock
  • Manufacturer: BECKHOFF

  • Product No.: EP7041-0002

  • Country of origin:เยอรมนี

  • Product Type: EtherCAT Box

  • Payment: T/T, Western Union

  • Weight: 165g

  • Shipping port: Xiamen

  • Warranty: 12 months

ปริมาณ
ดูรายละเอียดทั้งหมด

คำอธิบายสินค้า

คำอธิบาย

BECKHOFF EP7041-0002 EtherCAT Box เป็นโมดูลระบบอัตโนมัติอุตสาหกรรมขนาดกะทัดรัดที่ออกแบบมาสำหรับการเชื่อมต่อมอเตอร์สเต็ปเปอร์โดยตรงในสภาพแวดล้อมที่รุนแรง ด้วยระดับการป้องกัน IP65, IP66 และ IP67 โมดูลที่เชื่อมต่อผ่าน IP อันแข็งแกร่งนี้จึงผสานรวมเข้ากับเครือข่ายอุตสาหกรรม EtherCAT ได้อย่างราบรื่น พร้อมมอบการควบคุมการเคลื่อนไหวความแม่นยำสูงโดยตรงที่เครื่องจักรโดยไม่ต้องใช้ตู้ควบคุม

อุปกรณ์นี้รวมเอาต์พุตสเตจมอเตอร์สเต็ปเปอร์ เอาต์พุตดิจิทัล 24 V DC อินพุตดิจิทัล 2 ช่อง และการเชื่อมต่อในตัวสำหรับระบบเอ็นโคเดอร์ 24 V DC รองรับมอเตอร์สเต็ปเปอร์ 2 เฟสทั้งแบบยูนิโพลาร์และไบโพลาร์ โดยมีกระแสเอาต์พุตพิกัด 3.5 A และกระแสพีกสูงสุด 5.0 A การควบคุมระยะทางการเคลื่อนที่ในตัวและการรองรับนาฬิกาแบบกระจายช่วยให้การซิงโครไนซ์และการกำหนดตำแหน่งในงานผลิตและอุปกรณ์ขนถ่ายแบบอัตโนมัติมีความแม่นยำ

คุณสมบัติ

  • การเชื่อมต่อโดยตรงที่ระดับเครื่องจักรสำหรับมอเตอร์สเต็ปเปอร์ 2 เฟส 1 ตัว และเอาต์พุตดิจิทัล 24 V DC 1 ช่อง
  • อินพุตดิจิทัล 2 ช่อง และอินเทอร์เฟซการเชื่อมต่อเฉพาะสำหรับระบบเอ็นโคเดอร์ 24 V DC
  • ความถี่สเต็ปกำหนดค่าได้สูงสุด 8000 สเต็ปเต็มต่อวินาที พร้อมไมโครสเต็ป 64 เท่า
  • ตัวควบคุมกระแสในตัวที่ทำงานที่ความถี่ประมาณ 30 kHz
  • รองรับนาฬิกาแบบกระจายสำหรับการควบคุมการทำงานของหลายแกนให้ซิงโครไนซ์กัน
  • เอาต์พุตป้องกันการโอเวอร์โหลดและลัดวงจร พร้อมการวินิจฉัยข้อผิดพลาดของเฟสและการสูญเสียขั้นอย่างครอบคลุม
  • ตัวเรือนที่ทนทานระดับ IP65/IP66/IP67 สำหรับสภาพแวดล้อมอุตสาหกรรมที่รุนแรง

การใช้งาน

  • งานกำหนดตำแหน่งและขับเคลื่อนแบบกระจายในระบบอัตโนมัติของโรงงาน
  • ระบบขนถ่ายและประกอบที่ต้องการระบบควบคุมการเคลื่อนที่โดยไม่ใช้ตู้ควบคุม
  • เครื่องจักรบรรจุภัณฑ์และติดฉลาก
  • ระบบลำเลียงและคัดแยกที่มีสถาปัตยกรรม I/O แบบกระจาย

ข้อมูลจำเพาะทางเทคนิค

ทั่วไป

พารามิเตอร์ ข้อมูลจำเพาะ
ผู้ผลิต BECKHOFF
รุ่นที่แน่นอน EP7041-0002
ประเภทผลิตภัณฑ์ กล่อง EtherCAT
โปรโตคอล EtherCAT

ระบบไฟฟ้า

พารามิเตอร์ ข้อมูลจำเพาะ
จำนวนเอาต์พุต มอเตอร์สเต็ปเปอร์ 1 ตัว, เอาต์พุตดิจิทัล 1 ช่อง (24 V DC)
จำนวนอินพุต อินพุตดิจิทัล 2 ช่อง, อินพุตระบบเอ็นโคเดอร์ 1 ช่อง (เอ็นโคเดอร์ 24 V DC)
ประเภทโหลด สเต็ปเปอร์มอเตอร์ 2 เฟส (ยูนิโพลาร์/ไบโพลาร์)
กระแสเอาต์พุต กระแสพิกัด 2 x 3.5 A, กระแสสูงสุด 2 x 5 A (ป้องกันโอเวอร์โหลดและลัดวงจร)
การใช้กระแสไฟจาก US 120 mA
การแยกทางไฟฟ้า 500 V

ประสิทธิภาพ

พารามิเตอร์ ข้อมูลจำเพาะ
ความถี่สเต็ป กำหนดค่าได้สูงสุด 8,000 สเต็ปเต็มต่อวินาที
รูปแบบสเต็ป ไมโครสเต็ปแบบ 64 เท่า
ความถี่ของตัวควบคุมกระแส ประมาณ 30 kHz
ความละเอียด ประมาณ 5,000 ตำแหน่งต่อรอบ (ขึ้นอยู่กับประเภทของมอเตอร์และเอ็นโคเดอร์)
Distributed Clocks มี

การเชื่อมต่อและอินเทอร์เฟซ

พารามิเตอร์ ข้อมูลจำเพาะ
อินเทอร์เฟซบัส ช่องต่อ M8 จำนวน 2 ช่อง มีชีลด์ แบบสกรู
วิธีการเชื่อมต่อ (อินพุต/เอาต์พุต/เอ็นโคเดอร์) M12 x 1, 5 พิน, เข้ารหัสแบบ A
การเชื่อมต่อแหล่งจ่ายไฟ การป้อน: ช่องต่อตัวผู้ M8 จำนวน 1 ช่อง แบบ 4 พิน; การเชื่อมต่อไปยังอุปกรณ์ถัดไป: ช่องต่อตัวเมีย M8 จำนวน 1 ช่อง แบบ 4 พิน

ข้อมูลด้านกลไกและสภาพแวดล้อม

พารามิเตอร์ ข้อมูลจำเพาะ
ระดับการป้องกัน IP65 / IP66 / IP67 (สอดคล้องตาม EN 60529)
ตำแหน่งติดตั้ง ปรับเปลี่ยนได้
ช่วงอุณหภูมิขณะทำงาน -25 ถึง +60 องศาเซลเซียส
ช่วงอุณหภูมิการจัดเก็บ -40 ถึง +85 องศาเซลเซียส
น้ำหนักสุทธิ ประมาณ 165 กรัม
ความทนทานต่อการสั่นสะเทือน / แรงกระแทก สอดคล้องตาม EN 60068-2-6 / EN 60068-2-27
ภูมิคุ้มกัน EMC / การปล่อยสัญญาณรบกวน สอดคล้องตาม EN 61000-6-2 / EN 61000-6-4

การรับรองและใบรับรอง

พารามิเตอร์ ข้อมูลจำเพาะ
การรับรอง CE, ATEX
เครื่องหมาย Ex II 3 G Ex nA IIC T4 Gc

แนวทางการติดตั้ง

  1. ตรวจสอบให้แน่ใจว่าระบบควบคุมอุตสาหกรรมและแหล่งจ่ายไฟทั้งหมดไม่มีพลังงานไฟฟ้าโดยสมบูรณ์ก่อนเริ่มการติดตั้งทางกลหรือเดินสายไฟฟ้า
  2. ตรวจสอบตัวเรือนโมดูล ขั้วต่อ M8 และ M12 รวมถึงซีลว่ามีความเสียหายหรือสิ่งปนเปื้อนที่มองเห็นได้หรือไม่
  3. ติดตั้ง EP7041-0002 ให้แน่นหนากับพื้นผิวเครื่องจักรเรียบหรือโปรไฟล์ติดตั้ง โดยใช้ตัวยึดที่เหมาะสมผ่านรูยึด
  4. เชื่อมต่อสายเครือข่าย EtherCAT เข้ากับช่องต่ออินเทอร์เฟซบัส M8 โดยตรวจสอบให้แน่ใจว่าความต่อเนื่องของชีลด์ถูกต้อง
  5. เชื่อมต่อแหล่งจ่ายไฟ 24 V DC เข้ากับช่องต่อป้อนสายตัวผู้ M8 และเชื่อมต่อไฟฟ้าไปยังอุปกรณ์ถัดไปหากมี
  6. เชื่อมต่อสเต็ปเปอร์มอเตอร์ เอ็นโคเดอร์ และสายสัญญาณดิจิทัล I/O เข้ากับพอร์ต M12 ที่กำหนดตามแผนผังการเดินสายของระบบ
  7. ตรวจสอบการเชื่อมต่อ ระดับแรงดันที่อาจเกิดขึ้น และการกำหนดค่าเครือข่ายทั้งหมดก่อนจ่ายไฟกลับคืนและเริ่มใช้งานแกนในซอฟต์แวร์ควบคุม
Loading product navigation…

What is the primary function of the BECKHOFF EP7041-0002?

The BECKHOFF EP7041-0002 is an EtherCAT Box designed to control a 2-phase stepper motor directly on a machine while providing integrated digital I/O and encoder processing.

What protection rating does the BECKHOFF EP7041-0002 feature?

The BECKHOFF EP7041-0002 features IP65, IP66, and IP67 protection ratings, making it suitable for cabinet-free installation in harsh industrial environments.

What motor current ratings are supported by the BECKHOFF EP7041-0002?

The BECKHOFF EP7041-0002 supports an output current of 3.5 A nominal and up to 5.0 A peak current per phase, with integrated overload and short-circuit protection.

Does the BECKHOFF EP7041-0002 support synchronized motion?

Yes, the BECKHOFF EP7041-0002 supports distributed clocks for precise synchronization in multi-axis automation tasks.

การจัดส่งด่วนทั่วโลก

  • การจัดส่งมาตรฐาน: 4-6 วันทำการ ผ่าน DHL, FedEx และ UPS
  • จัดส่งด่วน: จัดส่งในวันเดียวกันสำหรับคำสั่งซื้อที่มีในสต็อกและสั่งก่อนเวลา 14:00 น. (GMT+8)
  • ครอบคลุมทั่วโลก: ให้บริการมากกว่า 150 ประเทศ รวมถึงการจัดส่งด่วนไปยังซาอุดีอาระเบียและสหรัฐอาหรับเอมิเรตส์

การคืนสินค้าและการรับประกัน

  • การรับประกัน 30 วัน: รับคืนสินค้าที่มีในสต็อกในบรรจุภัณฑ์เดิมที่ปิดผนึกจากโรงงาน
  • การรับประกัน 12 เดือน: อะไหล่อุตสาหกรรมทุกชิ้นได้รับการรับประกันทางเทคนิคจากผู้เชี่ยวชาญของเรา

คำสั่งซื้อจะถูกดำเนินการและจัดส่งในวันจันทร์ถึงวันศุกร์ (ไม่รวมวันหยุดราชการ)


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

TECHNICAL SPECIFICATIONS

Country of origin
เยอรมนี

ความรู้ทางเทคนิค

การแก้ไขปัญหาอินพุตและเอาต์พุตของแหล่งจ่ายไฟ

A dead control cabinet does not automatically mean a failed power supply. This field guide uses input, no-load, loaded, ripple, wiring, and protection checks to separate source faults from downstream...

หลักการพื้นฐานของเครื่องมือวัดและการควบคุมในงานอุตสาหกรรม

Reliable control begins before the PLC executes a loop. This engineering guide follows the signal chain from sensing and conditioning to transmission, control action, final elements, calibration, and...

Modbus: โปรโตคอลฟิลด์บัสอุตสาหกรรมดั้งเดิม

Modbus remains widely deployed because its data model is simple, not because every implementation is simple. This guide explains frames, register mapping, timing, diagnostics, and the design limits...

ภายใน CPU ของ PLC: รอบการสแกน หน่วยความจำ และการเลือก

คู่มือเชิงปฏิบัติสำหรับการทำงานของ CPU ใน PLC ตั้งแต่วงจรสแกนแบบกำหนดแน่นอนและตารางภาพ I/O ไปจนถึงหน่วยความจำ การสื่อสาร การวินิจฉัยระบบ ความซ้ำซ้อน การเลือกขนาดโปรเซสเซอร์...

คู่มืออัปเกรดเฟิร์มแวร์ 1756-L73: การตัดสินใจเลือกระหว่าง v19 กับ v21/v31

การเปลี่ยน 1756-L73 ไม่ได้หมายความว่าจะต้องอัปเกรดเฟิร์มแวร์โดยอัตโนมัติ คู่มือนี้เปรียบเทียบ v19.013, v21.011 และ v31.011 โดยเน้นความเข้ากันได้ของโปรเจกต์ การสื่อสารกับ HMI เครือข่ายรุ่นเก่า...

การใช้งานตรรกะบันได XOR แบบสวิตช์ 3 ตัวด้วยบิตภายใน

สร้างวงจรไฟ XOR ด้วยสวิตช์ 3-SPST ใน LogixPro หรือ RSLogix 500 โดยใช้บิตรีเลย์ภายใน รวมตารางค่าความจริง สมการบูลีน และการตรวจสอบความถูกต้องแล้ว