Докажите что пропозициональная формула Z не является ни тавтологией

Z не является тавтологией: если p  0, q  0, r  1, s  1, то
Z  (0(01))  (0(01))  (0(11))  (00)   (01)  (01).
Z не является противоречием: если p  0, q  1, r  1, s  1, то
Z  (0(11))  (0(11)) = (0(01))  (01) = (00)  (00) = 0  0.
Чтобы найти искомое представление Z, используем свойства отрицания.
Находим отрицание формулы Z, в котором все отрицания стоят только пропозициональными перед переменными:
Z  ((p(qr))  (p(qs)))  ((p(qr))  (p(qs)));
(p(qs)) = p(qs) = p(qs)
Z  ((p(qr))  p(qs)).