- loogiline liitmine - binaarne loogiline operatsioon: lausete A ja B disjunktsioon loetakse vääraks parajsti siis, kui laused A ja B on mõlemad väärad.