Theo định lý De Morgan, để tìm bộ phận đối lập của biểu thức (A + B), chúng ta cần áp dụng định lý De Morgan thứ nhất. Định lý này cho biết bộ phận đối lập của một biểu thức logic OR (hoặc) là bộ phận đối lập của các phần tử logic riêng lẻ được kết nối bằng OR. Vì vậy, bộ phận đối lập của biểu thức (A + B) là bộ phận đối lập của A và B, được kết nối bằng AND (và). Do đó, bộ phận đối lập của biểu thức (A + B) là A' . B'.
