programma che risolva funzioni logiche

[.:Onizuka:.]

.

[starfred]

ciao, al momento non mi vengono in mente altre soluzioni, tuttavia mi sorge un dubbio: poiché la soluzione potrebbe non essere unica, come risolvi il problema? Dai tutti i risultati?

Es.
a || b || c || d = true

Ha un bel po' di soluzioni... Hai già pensato a questi casi?

[.:Onizuka:.]

.

[MEMon]

Non risolve nulla se le prova tutte, è un programma davvero stupido.
Fallo che le risolva davvero, le regole dell'algebra booleana le conosci no?

[clockover]

Puoi eseguire l'algoritmo del DPLL :)

http://it.wikipedia.org/wiki/DPLL

[.:Onizuka:.]

.

[MEMon]

Credo mi sia sfuggito qualcosa, a te basta trovare una soluzione?
Se è così, ma non credo, allora è semplicissimo, una soluzione è SEMPRE quella con A, B, C e D uguale a 1(o a 0 se c'è un NOT).

[.:Onizuka:.]

.

[MEMon]

Intanto sarebbe meglio che chiarisci il problema, hai solo degli AND, OR e NOT?
Le 4 variabili si possono ripetere? Cioè puoi avere situazioni di questo tipo:
A AND NOT A?

Altrimenti una soluzione c'è per forza, ed è sicuramente ponendo a 1(o 0 se negata) la variabile.

[.:Onizuka:.]

.

[MEMon]

Avevo scritto roba ma vedo che hai cancellato i tuoi messaggi.