Sorry, my code looks like this:
expr := (
( R009 &and R014 )
&or ( R009 &and R010 &and R011 &and R007 &and R006 &and Pp1 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R011 &and R007 &and R006 &and R005 &and Pp2 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R011 &and R007 &and R006 &and R005 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R011 &and R007 &and R006 &and R005 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R011 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R012 &and R005 &and R006 &and R007 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R012 &and R005 &and Pp1 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R012 &and Pp2 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R012 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R009 &and R010 &and R012 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R008 &and R007 &and R011 &and R010 &and R014 )
&or ( R008 &and R007 &and R011 &and R012 &and R005 &and Pp1 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R007 &and R011 &and R012 &and Pp2 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R007 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R007 &and R011 &and R012 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R008 &and R007 &and R002 &and R003 &and R004 &and R012 &and R010 &and R014 )
&or ( R008 &and R007 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R011 &and R010 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R011 &and R012 &and Pp2 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R011 &and R012 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R002 &and R003 &and R004 &and R012 &and R010 &and R014 )
&or ( R008 &and R006 &and Pp1 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and Pp2 &and R011 &and R010 &and R014 )
&or ( R008 &and R006 &and R005 &and Pp2 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and Pp2 &and R011 &and R012 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and Pp2 &and R002 &and R003 &and R004 &and R012 &and R010 &and R014 )
&or ( R008 &and R006 &and R005 &and Pp2 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and R012 &and R010 &and R014 )
&or ( R008 &and R006 &and R005 &and R012 &and R011 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and R004 &and Pp3 &and R011 &and R010 &and R014 )
&or ( R008 &and R006 &and R005 &and R004 &and Pp3 &and R002 &and R001 &and R013 &and R014 )
&or ( R008 &and R006 &and R005 &and R004 &and R003 &and R002 &and R011 &and R010 &and R014 )
&or ( R008 &and R006 &and R005 &and R004 &and R003 &and R001 &and R013 &and R014 )
&or ( R013 &and R014 )
&or ( R001 &and R002 &and R011 &and R010 &and R014 )
&or ( R001 &and R002 &and R011 &and R012 &and R005 &and R006 &and R008 &and R009 &and R014 )
&or ( R001 &and R002 &and R007 &and R008 &and R009 &and R014 )
&or ( R001 &and R002 &and R007 &and R006 &and R005 &and R012 &and R010 &and R014 )
&or ( R001 &and R003 &and R004 &and R012 &and R010 &and R014 )
&or ( R001 &and R003 &and R004 &and R012 &and R011 &and R007 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and R004 &and R005 &and R006 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and R004 &and R005 &and R006 &and R007 &and R011 &and R010 &and R014 )
&or ( R001 &and R003 &and R004 &and R005 &and Pp1 &and R011 &and R010 &and R014 )
&or ( R001 &and R003 &and R004 &and R005 &and Pp1 &and R007 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and R004 &and Pp2 &and R011 &and R010 &and R014 )
&or ( R001 &and R003 &and R004 &and Pp2 &and R007 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and Pp3 &and R011 &and R010 &and R014 )
&or ( R001 &and R003 &and Pp3 &and R011 &and R012 &and R005 &and R006 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and Pp3 &and R007 &and R008 &and R009 &and R014 )
&or ( R001 &and R003 &and Pp3 &and R007 &and R006 &and R005 &and R012 &and R010 &and R014 )
&or ( R014 &and R009 &and R008 &and R007 &and R011 &and R012 &and R005 &and Pp1 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R007 &and R011 &and R012 &and Pp2 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R007 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and Pp1 &and R011 &and R012 &and Pp2 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and Pp1 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and Pp1 &and R011 &and R012 &and R004 &and R003 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and Pp1 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and R005 &and Pp2 &and R011 &and R012 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and R005 &and Pp2 &and R011 &and R012 &and R004 &and R003 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and R005 &and Pp2 &and R002 &and R001 )
&or ( R014 &and R009 &and R008 &and R006 &and R005 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R010 &and R011 &and R007 &and R006 &and Pp1 &and R002 &and R001 )
&or ( R014 &and R010 &and R011 &and R007 &and R006 &and R005 &and Pp2 &and R002 &and R001 )
&or ( R014 &and R010 &and R011 &and R007 &and R006 &and R005 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R010 &and R012 &and R005 &and Pp1 &and R007 &and R008 )
&or ( R014 &and R010 &and R012 &and R005 &and Pp1 &and R002 &and R001 )
&or ( R014 &and R010 &and R012 &and Pp2 &and R007 &and R008 )
&or ( R014 &and R010 &and R012 &and Pp2 &and R002 &and R001 )
&or ( R014 &and R010 &and R012 &and R004 &and Pp3 &and R007 &and R008 )
&or ( R014 &and R010 &and R012 &and R004 &and Pp3 &and R002 &and R001 )
&or ( R014 &and R013 &and R001 &and R003 &and R004 &and R005 &and Pp1 &and R011 &and R010 &and R009 )
&or ( R014 &and R013 &and R001 &and R003 &and R004 &and R005 &and Pp1 &and R007 &and R008 )
&or ( R014 &and R013 &and R001 &and R003 &and R004 &and Pp2 &and R011 &and R010 &and R009 )
&or ( R014 &and R013 &and R001 &and R003 &and R004 &and Pp2 &and R007 &and R008 )
&or ( R014 &and R013 &and R001 &and R003 &and Pp3 &and R011 &and R010 &and R009 )
&or ( R014 &and R013 &and R001 &and R003 &and Pp3 &and R011 &and R012 &and R005 &and R006 &and R008 )
&or ( R014 &and R013 &and R001 &and R003 &and Pp3 &and R007 &and R008 )
&or ( R014 &and R013 &and R001 &and R003 &and Pp3 &and R007 &and R006 &and R005 &and R012 &and R010 &and R009 )
&or ( R014 &and R015 )
):
when I do it like
with(Logic):
expr := (...):
Equivalent(expr, BooleanSimplify(expr));
the solution is true. But when I try it in two steps like
BooleanSimplify(expr);
Equivalent(expr,PUT THE WHOLE SOLUTION OF BOOLEANSIMPLIFY HERE);
the solution is "false".
