DE MORGAN'S THEOREM is used to split a vinculum which extends
over more than one variable or to join separated vincula into one
extended vinculum. DE MORGAN'S THEOREM is illustrated below
with the logic diagrams and corresponding truth tables.
Step by step
DE MORGAN'S THEOREM
Whenever vincula are split or joined, change the sign (AND to OR or
OR to AND) as indicated below.