La conmutatividad es una propiedad de algunas conectivas lógicas de la lógica proposicional, que se expresa con equivalencias lógicas: