Boolean algebra in Maxima -> boolsimp

• Subject: Boolean algebra in Maxima -> boolsimp
• From: Bowo Prasetyo
• Date: Wed, 4 Jul 2007 13:11:06 +0900

Hi,

I know there is boolsimp package to do some boolean algebra in Maxima.
How is it supposed to use?

For example I want to factor boolean expression

(a and b) or (a and c)     into     a and (b or c)

using boolsimp

(%i1) 			        load(boolsimp)
(%i2) 			  factor((a and b) or (a and c))
(%o2) 			      a and b or a and c

it just gave me the original expression.

Am I missing something..?

Regards,
bowo

• Prev by Date: text interspersed with Maxima output
• Next by Date: Boolean algebra in Maxima -> boolsimp
• Previous by thread: Books or articles including Maxima code
• Next by thread: Boolean algebra in Maxima -> boolsimp
• Index(es):
  • Date
  • Thread