Как вычислить значение истинности X&(Y→¬X&¬Y)v¬Z, если X=0 Y=0 Z=1. С решением

Чтобы решить это задание, необходимо знать базовые действия и конъюнкцией, дизъюнкцией, инверсией и импликацией.

Прикрепляю фото с решением (в 6 и 7 действии и написал номера других действий, чтобы сократить запись).

Если нужны дополнительные разъяснения, задавайте вопросы, с радостью отвечу.