inspire

52 Reputation

3 Badges

10 years, 10 days

MaplePrimes Activity


These are answers submitted by inspire

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