Hat jemand geschafft dieses Bsp algebraisch zu lösen für DNF/KNF?

ich habe hier mal stehen nach umformen bzw eliminieren von einmal false konstante:

notC v ((notA & B) v ((A v B) & (B & C)))

ka wie weiter ..