3 ms·

tangential: can Macsyma/Maxima do symbolic boolean algebra, reducing formulae to bog standard "OR of ANDs" form? (I've tried looking at the doc, and it's clear

tangential: can Macsyma/Maxima do symbolic boolean algebra, reducing formulae to bog standard "OR of ANDs" form? (I've tried looking at the doc, and it's clearly not a feature they showcase, and as others have said, the way it works is not intuitive to me. I really need this, but trying to do it in lisp is becoming its own project and I want to get back to my project. I found some really nice online reducers, but the UIs are not conducive to pasting/putting in simultaneous equations, and using those outputs as inputs again)

r85804306610 2y ago
maxima has logic package, written in 2009 by alexey beshenov. it lives in share/logic which is also where the texi docs are. it's included with the op version, load(logic); logic_simp (a or (b or false or (a or b))); characteristic_vector (a xor b); zhegalkin_form ((a implies b) or c); e : ((a or b) xor c) and d$ logic_equiv (e, zhegalkin_form (e)); logic_diff (a or b or c, a); demorgan (boolean_form (a nor b nor c)); etc. there's more stuff in docs