phil170-prop_logic_truth_tables_examples.pdf