Nyaya: truth table exercise completed