Aloha :)
Um mir Tipparbeit zu sparen und die Rechnung übersichtlicher zu gestalten, schreibe ich im Folgenden + statt ∨ und ⋅ statt ∧. Mit Punktrechnung vor Strichrechnung spart das viele Klammern. Desweiteren ist jeder Ausdruck =0 gleich TRUE und jeder Ausdruck =0 ist FALSE.
=(b+c)(a+c)(a+b)(a+b+c)=(b+c)(a+c)(=0aa+ab+ac+ba+=0bb+bc)=(b+c)(a+c)(ab+ac+ba+bc)=(b+c)(aab+aac+=0aba+abc+cab+=0cac+cba+=0cbc)=(b+c)(ab+ac+abc+abc+abc)==0bab+bac+babc+=0babc+babc+cab+=0cac+=0cabc+cabc+cabc=bac+abc+abc+cab+abc+abc=(abc+abc)+(abc+abc)+(abc+abc)=abc+abc+abc