I've been working at this problem for a while and it seems that there should be an easier more systematic way of solving it. Here it is: Find a proposition using only p, q, ¬ and the connective ∧ with the given truth table. p q ? T T F T F F F T T F F T I know of a systematic approach to creating propositions but includes the use of OR. Is there a systematic way of solving this only using ANDs?