Espresso logic minimizer을 사용하여 부울 수식 집합의 최소화 된 형식을 생성했습니다. 그러나 프로그래머블 로직 로직 (에스프레소가 일반적으로 사용되는 로직)을 생성하는 대신, 표준 마이크로 프로세서에서이를 구현하려고합니다. 문제는 Espresso가 결합 표준 형식으로 출력을 생성한다는 것인데, 이는 PAL에는 완벽하지만 x86 또는 PP
제 조항을 결합 표준 형식으로 변환하고 싶습니다. 조항은 프로그램을 실행할 때마다 변경되므로 내 프로그램에서 도구를 내장해야 할 필요가 있다고 생각합니다. 이 제안을 구현하는 방법이 있습니까 ?? 나는 또한 다음과 같은 라이브러리를 발견했다 : Orbital library. 나는 논리 프로그래밍에 익숙하지 않고 결코 사용하지 않았다. 나는 또한 일을 정리하
다음과 같이 3 CNF-SAT 문제를 변경하는 경우, 각각 C I 들어 , I = -x I1 OR -x I2 c를 OR x i3 변수 중 하나가 부정을 나타내지 않음을 의미합니다. 또한 x의 일부 또는 모두에 값 (0 또는 1)이 제공됩니다. 다항식 시간에 문제를 해결하거나 (문제를 만족하는 x 값을 찾거나 충족 할 수 없다는 것을 증명할 수 있어야 함)