nyaya: truth table exercises cont.