how to do boolean algebra

asked 2022-03-11 22:52:01 +0200

mahmood gravatar image

im currently studying algebra but i havent been able to figure out how to use sagemath in my study of this field like i did with linear algebra or calculus, perhaps sagemath doesnt provide the proper functionality related to this field? well im here to figure out

for example in my case i want to create a boolean functions using its minterms, check for functional completeness, find the simplest switching expression using karnaugh maps, etc etc, is this possible to achieve in sagemath without writing some ugly python code?

thank you

edit retag flag offensive close merge delete


As far as I now, Sage's propositional logic module doesn't iplement what you are aiming at, but the tools it offers may help you to implement it.

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2022-03-12 08:45:46 +0200 )edit