Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
912 questions
1k answers
1.4k comments
441 users
When we describe state sets by propositional logic formulas, i.e., a symbolic encoding, then the represented states correspond with the satisfying assignments of the formula. In this case, we will have three initial states as you can see by the truth table: