За отрицание на Булев израз просто трябва да приложите рекурсивно теоремата на Де Морган:

1) Отрицанието на една сума е произведението от отрицаеми променливи.

2)Отрицанието на едно произведение е сумата от отрицаеми променливи.