nyaya: truth tables exercise started