## 52 Reputation

13 years, 122 days

## Well, if there are no...

Well, if there are no mathematical problems, I accept it as it is...although I've tried it ~5 times oO

Thanks :)

## Sorry, my code looks like...

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".

 Page 1 of 1
﻿