Tonk is a fictional logical connective that highlights the necessity of inference rules in defining logical operators. It demonstrates how…