resolve problem of simplify_logic with Implies
resolve problem of simplify_logic with Implies

shikil/sympy,Mitchkoens/sympy,MechCoder/sympy,beni55/sympy,sunny94/temp,Titan-C/sympy,jaimahajan1997/sympy,AunShiLord/sympy,AkademieOlympia/sympy,abhiii5459/sympy,Sumith1896/sympy,jaimahajan1997/sympy,kumarkrishna/sympy,beni55/sympy,pandeyadarsh/sympy,kumarkrishna/sympy,wyom/sympy,asm666/sympy,shipci/sympy,ga7g08/sympy,iamutkarshtiwari/sympy,Mitchkoens/sympy,atsao72/sympy,mafiya69/sympy,MridulS/sympy,sahmed95/sympy,kaushik94/sympy,lidavidm/sympy,skidzo/sympy,mcdaniel67/sympy,garvitr/sympy,sampadsaha5/sympy,pbrady/sympy,mafiya69/sympy,lidavidm/sympy,sunny94/temp,VaibhavAgarwalVA/sympy,Titan-C/sympy,sunny94/temp,jamesblunt/sympy,madan96/sympy,Gadal/sympy,jaimahajan1997/sympy,saurabhjn76/sympy,beni55/sympy,abhiii5459/sympy,diofant/diofant,toolforger/sympy,yashsharan/sympy,hargup/sympy,MridulS/sympy,mcdaniel67/sympy,Gadal/sympy,Vishluck/sympy,moble/sympy,hargup/sympy,souravsingh/sympy,debugger22/sympy,lindsayad/sympy,yukoba/sympy,sampadsaha5/sympy,pandeyadarsh/sympy,Davidjohnwilson/sympy,lindsayad/sympy,jerli/sympy,yashsharan/sympy,skidzo/sympy,sampadsaha5/sympy,kevalds51/sympy,garvitr/sympy,postvakje/sympy,kaichogami/sympy,maniteja123/sympy,cswiercz/sympy,Sumith1896/sympy,bukzor/sympy,saurabhjn76/sympy,atreyv/sympy,rahuldan/sympy,mafiya69/sympy,pandeyadarsh/sympy,farhaanbukhsh/sympy,vipulroxx/sympy,emon10005/sympy,Arafatk/sympy,jamesblunt/sympy,ahhda/sympy,lindsayad/sympy,lidavidm/sympy,toolforger/sympy,Gadal/sympy,drufat/sympy,kaushik94/sympy,madan96/sympy,sahmed95/sympy,rahuldan/sympy,Shaswat27/sympy,skidzo/sympy,AunShiLord/sympy,wyom/sympy,postvakje/sympy,drufat/sympy,sahmed95/sympy,ga7g08/sympy,Curious72/sympy,liangjiaxing/sympy,dqnykamp/sympy,Mitchkoens/sympy,Designist/sympy,ga7g08/sympy,shikil/sympy,sahilshekhawat/sympy,abloomston/sympy,yashsharan/sympy,wanglongqi/sympy,aktech/sympy,jerli/sympy,sahilshekhawat/sympy,kaichogami/sympy,hargup/sympy,abloomston/sympy,AkademieOlympia/sympy,jbbskinny/sympy,Vishluck/sympy,oliverlee/sympy,postvakje/sympy,oliverlee/sympy,vipulroxx/sympy,atreyv/sympy,rahuldan/sympy,chaffra/sympy,iamutkarshtiwari/sympy,liangjiaxing/sympy,shikil/sympy,kmacinnis/sympy,Davidjohnwilson/sympy,atreyv/sympy,VaibhavAgarwalVA/sympy,skirpichev/omg,kumarkrishna/sympy,pbrady/sympy,jbbskinny/sympy,atsao72/sympy,moble/sympy,Arafatk/sympy,AunShiLord/sympy,wanglongqi/sympy,MechCoder/sympy,ChristinaZografou/sympy,liangjiaxing/sympy,meghana1995/sympy,aktech/sympy,souravsingh/sympy,pbrady/sympy,Titan-C/sympy,cswiercz/sympy,debugger22/sympy,cccfran/sympy,toolforger/sympy,kaushik94/sympy,sahilshekhawat/sympy,abloomston/sympy,MridulS/sympy,farhaanbukhsh/sympy,asm666/sympy,moble/sympy,dqnykamp/sympy,madan96/sympy,debugger22/sympy,ChristinaZografou/sympy,jamesblunt/sympy,Davidjohnwilson/sympy,jerli/sympy,iamutkarshtiwari/sympy,kevalds51/sympy,AkademieOlympia/sympy,abhiii5459/sympy,aktech/sympy,shipci/sympy,maniteja123/sympy,asm666/sympy,vipulroxx/sympy,oliverlee/sympy,cswiercz/sympy,Designist/sympy,kmacinnis/sympy,mcdaniel67/sympy,chaffra/sympy,ChristinaZografou/sympy,chaffra/sympy,grevutiu-gabriel/sympy,cccfran/sympy,meghana1995/sympy,maniteja123/sympy,kmacinnis/sympy,yukoba/sympy,Shaswat27/sympy,garvitr/sympy,farhaanbukhsh/sympy,yukoba/sympy,VaibhavAgarwalVA/sympy,kaichogami/sympy,ahhda/sympy,Sumith1896/sympy,Designist/sympy,dqnykamp/sympy,Shaswat27/sympy,Arafatk/sympy,emon10005/sympy,kevalds51/sympy,MechCoder/sympy,saurabhjn76/sympy,grevutiu-gabriel/sympy,jbbskinny/sympy,atsao72/sympy,bukzor/sympy,cccfran/sympy,wyom/sympy,Vishluck/sympy,meghana1995/sympy,souravsingh/sympy,hrashk/sympy,grevutiu-gabriel/sympy,bukzor/sympy,wanglongqi/sympy,shipci/sympy,Curious72/sympy,Curious72/sympy,ahhda/sympy,emon10005/sympy,drufat/sympy,hrashk/sympy,hrashk/sympy