Operador lógico de la forma "p y q", donde p y q son proposiciones. El resultado del operador disyunción es una proposición compuesta y se denota con "p&q" o "pANDq". La conjunción es verdadera si y sólo si ambas proposiciones p y q son verdaderas. (Por economía lingüística, se habla de disyunción para referirse tanto al operador "y" como al resultado de aplicarlo a dos proposiciones.)