Tagging -Boolean algebra

Conversation started Dec 10, 2011 at 12:14.

Martin Sleziak

Dec 10, 2011 12:14

The questions about propositional logic, truth tables and stuff like that do not fit boolean-algebra, tag logic would be a better fit. The boolean-algebra tag is intended for boolean algebras as structures $(B,\wedge,\vee,\neg,0,1)$. Am I right? We have a bunch of such questions: math.stackexchange.com/search?q=[boolean-algebra]+truth+table

Matt

@MaX Let me finish part 3, I'll post it as a question on SE later.

Martin Sleziak

I do not plan to go and retag old ones, I just want to be sure what to do, when new questions will appear or when such question is bumped.

J. M.

@MartinSleziak I think so too.

Martin Sleziak

Thanks! That's what I wanted to hear.

(or to read)

MaX

@Martin: Going through the first two question I think Boolean-algebra is the correct tag

or may be we should have something as digital-logic

@Martin: Probably related

J. M.

Dec 10, 2011 12:19

I'm stepping out for a few minutes. You guys behave, eh?

Martin Sleziak

@MaX Well there's Boolean algebra and Boolean algebras as structures. Tag wiki suggests that this tag is intended for the second use.

Tag wiki: Boolean algebras are structures which behave similar to a power set with complement, intersection and union. Questions regarding Boolean algebras as structures, or regarding functions defined from/to Boolean algebras fit into this tag very nicely.

MaX

@Martin Sleziak:Ow, I have only studied the former.

But then we should have a new tag I believe.