Content covered: 

Gate problem related to tautology