nyaya: truth tables exercise animations