Mike S |
|
| Scrivere un programma ANSI C che acquisisce da tastiera un insieme di clausole di logica proposizionale e stabilisce se esso `e insoddisfacibile utilizzando il metodo di risoluzione di Robinson. Ad ogni passo di risoluzione, il programma deve stampare a video le due clausole considerate e la loro clausola risolvente.
Ragazzi, qui è un casino, se qualcuno sa:
1) cos'è una clausola di logica proposizionale;
2) cos'è la clausola risolvente;
3) chi cazzo è Robinson;
4) qualsiasi cosa inerente al progetto:
mi faccia la cortesia di scriverlo qua, se no siam tutti fottuti!
|
| | |
