Checks if implication distribution is applicable to all formulas in the array.
Each formula in the input array must satisfy the schema F => (G => H). If all formulas match the schema, distribution can be applied to each.
An array of propositional formulas to check.
True if all formulas match the distribution schema, false otherwise.
Checks if implication distribution is applicable to all formulas in the array.
Each formula in the input array must satisfy the schema F => (G => H). If all formulas match the schema, distribution can be applied to each.