Привет, помогите, пожалуйста, сижу решаю дискретку.Я нашла СКНФ:
f = (x+y+¬z)*(x+¬y+¬z)*(¬x+y+¬z)
Теперь нужно упростить. Кроме этого ничего в голову не приходит:
a=x+¬z
f=(a+y)*(a+¬y)*(¬x+y+¬z) = (a+y*¬y)*(¬x+y+¬z) = a*(¬x+y+¬z) = (x+¬z) * (¬x+y+¬z)
Может есть у кого-то идеи???
(сделано)