DCS.L.1.4: Judge whether two statements are logically equivalent using truth tables.