Мат.логика

найти сдн-форму с помощью таблицы истинности (X<->Y)->(X and not Y)
Таблицу истинности я составил, не понимаю как найти эту формулу
табл:
x y| not y 1 2 3
00| 1 1 0 0
01| 0 0 0 1
10| 1 0 1 0
11| 0 1 0 0

объясните как это сделать

Примечание:
(X<->Y)-в табл под номером 1 и соответсвенно (X and not Y)-2, (X<->Y)->(X and not Y)-3
Уже разобрался сам

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.