eecs 280 logic true false statements and truth tables