CS 18200 - Spring 2023 Homework 2: Logic Expressions and Solutions