FullSimplify on logical expressions
- To: mathgroup at smc.vnet.net
- Subject: [mg28062] FullSimplify on logical expressions
- From: ronald at maths.uwa.edu.au (Ronald Monson)
- Date: Thu, 29 Mar 2001 03:24:27 -0500 (EST)
- Organization: The Math Forum
- References: <99j01e$fmp@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
I'm not sure that FullSimplify is designed to do anything with logical expressions - e.g. f=LogicalExpand[And[Implies[a, b], Implies[Not[a], c]]] g=LogicalExpand[Or[And[a, b], And[Not[a], c]]] LogicalExpand[Not[Xor[f, g]]] also produces: a && b || b && c || c && !a a && b || c && !a True