Truth-trees, also known as analytic tableaux, are a method for testing logical validity and consistency. They systematically break down complex…