The theorem to which the given two powerful laws in Boolean algebra belong to, is:
Law 1: \(\overline{A + B} = \overline A \ \overline B\)
Law 2: \(\overline{A B} = \overline A \ + \overline B\)
1
Included factor theorem
2
Transposition theorem
3
De Morgan's theorem
4
Consensus theorem