Extend test coverate of sympy.logic.boolalg
Extend test coverate of sympy.logic.boolalg

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