(p^q)v(P ^ Q ^ R)
"(p\\land q)\\lor(p \\land q \\land r)=(p\\lor (p \\land q \\land r))\\land(q\\lor (p \\land q \\land r))"
"p\\lor (p \\land q \\land r)=p\\lor (q\\land r)=(p\\lor q)\\land (p\\lor r)"
"q\\lor (p \\land q \\land r)=q\\lor (p\\land r)=(p\\lor q)\\land (q\\lor r)"
"(p\\lor q)\\land (p\\lor r)\\land (p\\lor q)\\land (q\\lor r)= (p\\lor r)\\land (p\\lor q)\\land (q\\lor r)"
"(p\\land q)\\lor(p \\land q \\land r)= (p\\lor r)\\land (p\\lor q)\\land (q\\lor r)"
Comments
Leave a comment