Your very 1st line is wrong.I don't know if what I did is … good
Is this done well and correctly, the way to reduce to 3 literalsLogical 'and' is commutative, which means that your second answer is identical to the first.
IF your second answer is equivalent to your first answer AND your first answer is incorrect THEN you second answer is incorrect too.Is this done well and correctly, the way to reduce to 3 literals
IF your second answer is equivalent to your first answer AND your first answer is incorrect THEN you second answer is incorrect too.
Not sure I agree. While the final answer seems correct the intermediate transformations don't seem so. E.g., in the very first transformation expressions [imath](x\wedge z) \vee (x\wedge \bar y) \vee (\bar z \wedge y)[/imath] and [imath]x \wedge (z \wedge \bar y) \vee (\bar z \wedge y)[/imath] have different values when [imath]x=y=z=T[/imath]I believe the answer (and the work) has been right all along (though I could be missing something).
You're right. I think I was reading it as it was intended, with an or where an and was written, or something like that. (I don't have time at the moment to look carefully.)Not sure I agree. While the final answer seems correct the intermediate transformations don't seem so. E.g., in the very first transformation expressions [imath](x\wedge z) \vee (x\wedge \bar y) \vee (\bar z \wedge y)[/imath] and [imath]x \wedge (z \wedge \bar y) \vee (\bar z \wedge y)[/imath] have different values when [imath]x=y=z=T[/imath]
I too was too lazy to look carefully, so I wrote a quick script to do the checking(I don't have time at the moment to look carefully.)
I did it in detail and fine, is this now exactly final and are these the 3 literals that are required in this task View attachment 34411