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: