Дискретная математика

[maxon_mm]

Долго сидел и мучался... но так и не смог допереть до достаточно элементарного задания, которое нужно сдать до 11.04.2008... :
Равносильными преобразованиями привести к :

а) КНФ ( конъюнктивная нормальная форма) ( не X v Y ) → ( X → Z ) ( "не" равняется чете сверху, я просто не знаю как ее впихнуть...)

б) ДНФ ( дизъюнктивная нормальная форма) ( не X ٨ не Y ) → ( X ٨ Y)

@темы: Дискретная математика

Comments

[Trotil]

Для начала построй таблицу истинности для всех наборов и по ней построй КНФ и ДНФ (чтобы было на что ориентироваться)

[maxon_mm]

спасибо) разобрался))