A logical argument form where two conditional statements and the disjunction of their antecedents lead to the disjunction of their…