ลดความซับซ้อนของฟังก์ชันลอจิก

เรามี 5 วิธีในการทำให้ฟังก์ชันลอจิกง่ายขึ้น

1. Simplification.SimpleInner : ลบคำศัพท์ตรรกะที่คล้ายกันออก
2. Simplification.SimpleCover : ลบข้อกำหนดตรรกะทั้งหมดหรือบางส่วนที่ครอบคลุมไปข้างหน้า
3. Simplification.MultiCover : ย้อนกลับลบเงื่อนไขตรรกะที่ครอบคลุมโดยเงื่อนไขตรรกะหลายรายการ
4. Simplification.Full : วิธีการสร้างเงื่อนไขตรรกะภายในและลบเงื่อนไขตรรกะที่ครอบคลุม
5. Simplification.Shannon : วิธีการค้นหาเส้นทางที่เร็วที่สุดในการแยกส่วนฟังก์ชันลอจิก

วิธีแรกใช้ในการคำนวณภายในเพื่อลดเงื่อนไขตรรกะ

และ 2 วิธีสุดท้ายคือวิธีการลดความซับซ้อนตามโควซีในขั้นตอนการตระหนักรู้

[ f ] = AndOr()
{
    1,-2,3,-4,-5,-6 ;
    -1,-2,3,4,-5,6 ;
    -1,2,3,-4,-5,6 ;
    1,-2,3,4,5,6 ;
    -1,-2,-3,4,-5,6 ;
    1,2,-3,4,5,6 ;
    1,2,-3,-4,-5,6 ;
    1,2,-3,-4,5,6 ;
    1,2,-3,4,5,6 ;
    -1,2,-3,-4,5,6 ;
}

// [ g ] = Simplification.Full(f);
[ g ] = Simplification.Shannon(f);

Print("result:", g);

/*
ผลลัพธ์ควรจะเป็น :
g = AndOr()
{
  1,2,-3,-4,6;
  1,2,-3,5,6;
  -1,-2,4,-5,6;
  2,-3,-4,5,6;
  1,-2,3,4,5,6;
  1,-2,3,-4,-5,-6;
  -1,2,3,-4,-5,6;
}
*/