Question: BooleanSimplify but not equivalent?

Hi,

I've got a weird problem and I can't understand why.

When I use BooleanSimplify for a really big expression, e. g.

BooleanSimplify( ( R009 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ Pp1 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ R005 ∧ Pp2 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ R005 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ R005 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R011 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R012 ∧ R005 ∧ R006 ∧ R007 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R012 ∧ R005 ∧ Pp1 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R009 ∧ R010 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R011 ∧ R012 ∧ R005 ∧ Pp1 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R011 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R011 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R002 ∧ R003 ∧ R004 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R007 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R002 ∧ R003 ∧ R004 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ Pp1 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R011 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R002 ∧ R003 ∧ R004 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R012 ∧ R011 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R004 ∧ Pp3 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R004 ∧ R003 ∧ R002 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R008 ∧ R006 ∧ R005 ∧ R004 ∧ R003 ∧ R001 ∧ R013 ∧ R014 ) ∨ ( R013 ∧ R014 ) ∨ ( R001 ∧ R002 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R002 ∧ R011 ∧ R012 ∧ R005 ∧ R006 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R002 ∧ R007 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R002 ∧ R007 ∧ R006 ∧ R005 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R012 ∧ R011 ∧ R007 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R005 ∧ R006 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R005 ∧ R006 ∧ R007 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R005 ∧ Pp1 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ R005 ∧ Pp1 ∧ R007 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ Pp2 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ R004 ∧ Pp2 ∧ R007 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ Pp3 ∧ R011 ∧ R010 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ Pp3 ∧ R011 ∧ R012 ∧ R005 ∧ R006 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ Pp3 ∧ R007 ∧ R008 ∧ R009 ∧ R014 ) ∨ ( R001 ∧ R003 ∧ Pp3 ∧ R007 ∧ R006 ∧ R005 ∧ R012 ∧ R010 ∧ R014 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R007 ∧ R011 ∧ R012 ∧ R005 ∧ Pp1 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R007 ∧ R011 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R007 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ Pp1 ∧ R011 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ Pp1 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R011 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R011 ∧ R012 ∧ R004 ∧ R003 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ R005 ∧ Pp2 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R009 ∧ R008 ∧ R006 ∧ R005 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ Pp1 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ R005 ∧ Pp2 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R011 ∧ R007 ∧ R006 ∧ R005 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ R005 ∧ Pp1 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ R005 ∧ Pp1 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ Pp2 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ Pp2 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ R004 ∧ Pp3 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R010 ∧ R012 ∧ R004 ∧ Pp3 ∧ R002 ∧ R001 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ R004 ∧ R005 ∧ Pp1 ∧ R011 ∧ R010 ∧ R009 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ R004 ∧ R005 ∧ Pp1 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ R004 ∧ Pp2 ∧ R011 ∧ R010 ∧ R009 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ R004 ∧ Pp2 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ Pp3 ∧ R011 ∧ R010 ∧ R009 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ Pp3 ∧ R011 ∧ R012 ∧ R005 ∧ R006 ∧ R008 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ Pp3 ∧ R007 ∧ R008 ) ∨ ( R014 ∧ R013 ∧ R001 ∧ R003 ∧ Pp3 ∧ R007 ∧ R006 ∧ R005 ∧ R012 ∧ R010 ∧ R009 ) ∨ ( R014 ∧ R015 ) );

and then put the result and the original expression into Equivalent, it says "false"...so what's wrong with the simplified expression?

Thanks

Martin