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

1.1k questions

1.2k answers

1.6k comments

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