VERIFICATION OF DEMORGAN’S THEOREM