nyaya: truth table exercices