5
$\begingroup$

I got this form:

(not M or V) and (A or not M) and (not B or M) and (B or V) and (A or not V) and (not A or B)

Or: $$(\neg M\vee V) \wedge (A\vee\neg M) \wedge (\neg B \vee M) \wedge (B\vee V) \wedge (A\vee\neg V)\wedge(\neg A \vee B)$$

Can anyone explain me how to solve it step by step? The result should be this:

A and B and M and V: $$A\wedge B \wedge M \wedge V$$

Wolfram Alpha link.

I dont know how to simplify the statement

  • 1
    Have you tried "slow and steady" approach? Open one after another... after another...2012-12-18

1 Answers 1