Ако p и q са две съждения, изключващата дизюнкция на p и q е съставно съждение, означавано с  , което има верностна стойност истина само ако едното от двете съждения p или q е със стойност истина и е със стойност неистина в противен случай.

    Таблица с верностните стойности на изключваща дизюнкция: