Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

972 questions

1.1k answers

1.5k comments

469 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: