تابعِ «یا»

عملی روی دو گزاره در منطق به‌طوری‌که حاصل آن عمل وقتی نادرست است که هر دو گزاره نادرست باشند