CSCE 222 Discrete Structures for Computing