Unnecessary replication of Code in sage/logic/boolformula.py

Imported from <a href="http://trac.sagemath.org/sage_trac/ticket/14183">trac #14183</a>.



Reported by: knsam

Component: symbolics

CC: 

Report Upstream: N/A

Authors: Kannappan Sampath

Dependencies: 

Work issues: 

Reviewers: Punarbasu Purkayastha

Merged in: sage-5.9.beta1

Attachments: <ol><li><a href="http://trac.sagemath.org/sage_trac/attachment/ticket/14183/trac_14183_aliasing.patch">trac_14183_aliasing.patch: </a> by knsam at 20130226T04:22:29</li></ol>