Re: How to get rid of irrelevant Boolean variables from an expression
- To: mathgroup at smc.vnet.net
- Subject: [mg94851] Re: How to get rid of irrelevant Boolean variables from an expression
- From: Bill Rowe <readnews at sbcglobal.net>
- Date: Mon, 29 Dec 2008 06:35:47 -0500 (EST)
On 12/27/08 at 7:04 AM, vladtarko at gmail.com (Vlad) wrote: >I need to simplify a Boolean expression that looks like >x && y || !x && y >to y alone. I.e. the expression's truth value is independent of x so >it should be left out. >I've tried about every Mathematica function for dealing with Boolean >expressions and couldn't do this. You must not have considered LogicalExpand since In[1]:= LogicalExpand[x && y || ! x && y] Out[1]= y