Simplification des formes propositionnelles

[Nefis]

Bonjour,
Après plusieurs essais je n'arrive toujours pas à trouver la bonne solution donc je viens solliciter de l'aide parmi vous:

Le sujet étant:

On considère la fonction f de variables binaires a,b,c définie par:
f(a,b,c)= !(c+a.!b)+!(bc)

(! = négation de; .= *)

Il faut montrer que f(a,b,c) = !b+!c

Bref après simplification je trouve le résultat suivant: !a.!c+!b.!c

Si vous pouviez m'aider ce serait pas de refus, merci d'avance

[ThSQ]

Il faut montrer que f(a,b,c) = !b+!c

C'est vrai et c'est amusant que ça dépende pas de a :hum:
Ca se vérifie très vite avec une table.