A criterion that admits 'p ∧ ¬p → q ∨ ¬q' as valid on variable-sharing grounds conflates tautologica...