..Нужно доказать тождество не используя таблицу, а только(!) преобразованиями::
(XvY)~(XvZ)=Xv(Y~Z)

Поясни что такое V и ~, ешу без проблем, у нас другие немного обозначения.

V - дизъюнкция
~ - эквивалентность...

..да всё....сам уже доказал))

2Kos
..у нас такие же обозначения, как привел Altair...интересно, а какие у вас?))