как решить логическую функцию

F(x, y) = x v ¬¬(x v y)^ ¬(x v y); где v - Дизъюнкция ; ^ - Конъюнкция; ¬ - отрицание...тут не знаю насколько правильно выписала, т.к было написано по другому: от первой до второй(включительно) тянулась общее отрицание (обозначалось как модуль), но над первой была еще одна. Как я поняла, двойное отрицание. Требуется помощь! Или хотя бы отметьте литературу в которой есть решение подобных задач, уж по типу я решу. Как я понимаю задаче в том чтобы преобразовав данное выражение выйти к таблице истинности и ложности. У нас две переменные, а значит 4 набора: (0,0), (0,1),(1,0),(1,1), но больше ничего не могу понять.

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

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

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