د منطقي فعالیت ساده کول

موږ د منطقي فعالیت ساده کولو لپاره 5 میتودونه لرو.

1. Simplification.SimpleInner : د ورته منطق اصطلاح لرې کړئ.
2. Simplification.SimpleCover : په مخکینۍ توګه بشپړ یا جزوی پوښل شوي منطق شرایط لرې کړئ.
3. Simplification.MultiCover : په شالید سره د منطق اصطلاح لرې کړئ چې د ډیری منطقي اصطلاحاتو لخوا پوښل شوي.
4. Simplification.Full : یو میتود چې داخلي منطق شرایط رامینځته کوي او د پوښ شوي منطق شرایط لرې کوي.
5. Simplification.Shannon : یوه میتود د منطقي فعالیت د تخریب کولو لپاره ترټولو ګړندۍ لاره لټوي.

لومړنۍ 3 میتودونه په داخلي محاسبه کې د منطق شرایط کمولو لپاره کارول کیږي

او، وروستي 2 میتودونه د واقعیت په مرحله کې د quosi-optimized ساده کولو لپاره میتود دی.

[ 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;
}
*/