Added conversion to NNF
Added conversion to NNF

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