!(!(!A | A&(A|B)) | (!B)&(!C