Product preserves decidability and propositionality