Haqiqiyyah excludes both being true and both being false. Maniat al-jam excludes both being true but allows both false. Maniat al-khuluww excludes both being false but permits both true. These are three distinct relations between the same two truth-status possibilities.
Opening interactive controls...
Three kinds of disjunction
Conditional Propositions: Connected and Disjunctive Forms
Haqiqiyyah excludes both being true and both being false. Maniat al-jam excludes both being true but allows both false. Maniat al-khuluww excludes both being false but permits both true. These are three distinct relations between the same two truth-status possibilities.