Boolean Algebraic Solution (using a more traditional notation):
Given Boolean expression:
abc + a' + b' + c'
Apply double negation:
(abc + a' + b' + c')''
Apply De Morgan's Law for a disjunction:
((abc)'a''b''c'')'
Reduce double negations:
((abc)'abc)'
AND of x and x' is 0:
(0)'
Negation of 0 is 1:
1
Boolean Algebraic Solution (using the given notation):
Given Boolean expression:
a.b.c + NOT(a) + NOT(b) + NOT(c)
Apply double negation:
NOT(NOT(a.b.c + NOT(a) + NOT(b) + NOT(c)))
Apply De Morgan's Law for a disjunction:
NOT(NOT(a.b.c).NOT(NOT(a)).NOT(NOT(b)).NOT(NOT(c))))
Reduce double negations:
NOT(NOT(a.b.c).a.b.c)
AND of x and x' is 0:
NOT(0)
Negation of 0 is 1:
1