5
Czy istnieje już implementacja w C/C++/java do konwersji logiki pierwszego rzędu na CNF?Konwersja logiki pierwszego rzędu do CNF
A
Odpowiedz
1
To może być bardziej efektywne w użyciu coś takiego: Boolean Normal Form
Dla realizacji, polecam robi to sam za coś tak prostego. Skuteczna metoda ma kod psuedo + wyjaśnienie here
Powiązane problemy
- 1. Uniwersalne i egzystencjalne kwantyfikatory logiki pierwszego rzędu
- 2. Zastosuj styl do komórek pierwszego rzędu.
- 3. UIPickerView - wybór pierwszego rzędu nie wywołuje didSelectRow
- 4. Uzyskiwanie pierwszego rzędu ciągu zasobów mysql?
- 5. Konwersja wskaźnik do struktury do jej pierwszego elementu
- 6. Znajdowanie sąsiadów pierwszego rzędu za pomocą kształtów wielokątów
- 7. różnice pierwszego rzędu wzdłuż danej osi w tablicy NumPy
- 8. Ujednolicenie wyższego rzędu
- 9. Regex do pierwszego wystąpienia?
- 10. Używanie CTK rekursywnego do obsługi logiki dzienników
- 11. Dodawanie dodatkowej logiki do autoryzacji na okaziciela
- 12. Cztery z rzędu logika
- 13. Testowanie logiki drabinkowej
- 14. Nieoczekiwany błąd logiki
- 15. Wizualne przedstawienie logiki programu
- 16. Testowanie jednostek logiki przedniej
- 17. Konkretny przykład logiki rozmytej
- 18. Jak wygenerować losową formułę zdaniową (CNF) w haskell?
- 19. UINavigationController powrót do pierwszego widoku
- 20. Dlaczego mój kod Sympy niepoprawnie oblicza aproksymację serii Taylor pierwszego rzędu?
- 21. Metoda ".use" do dodawania logiki do każdego żądania SuperAgent
- 22. Użycie logiki Boolean? jeśli wyrażenie
- 23. CSS - efekt podobny do rzędu wierszy
- 24. Zastosuj funkcję do każdego rzędu Spark DataFrame
- 25. Konwersja pierwszego wiersza tabeli HTML do wiersza nagłówka dla każdej tabeli przy użyciu XSLT
- 26. Makra wyższego rzędu
- 27. Sympy drugiego rzędu od
- 28. Konwersja równań na operacje zmiany bitów
- 29. fullcalendar stała wysokość rzędu
- 30. Testowanie predykatu "Rzędu bezpiecznego"