If you download the program in the link below, then you can verify a logic reduction expression yourself. Are two lines over a logic term supposed to be a double negation? Why not use the less confusing and easier to write apostrophe for negation? Such as A'B(AC)'+ABC