X ≡ ¬Y означает, что X эквивалентно отрицанию Y. X ≡ ¬Y истинно, если X и ¬Y имеют одинаковое значение, и ложно в противном случае.
Ответ: