Доброго времени суток.
Помогите пожалуйста доказать следующее равенство:
-(a&b)=-aV-b , используя правила введения и удаления логических символов. где "-" отрицание, а "V" логическое или.
есть начало идеи
-(a&b) |- -a
-(a&b),a |- c
-(a&b),a |- -c
а дальше не знаю что делать.