nyaya: truth tables cont.