задачи на множество. вид формулы алгебры логики и упрощение формулы

Установить вид формулы алгебры логики
L=((A\bigcap B)\rightarrow C)\leftrightarrow (A\rightarrow (B\bigcup \bar{C}))

Упрощение формулы логики
Здраствуйте! Возникла трудность с этим заданием. Если есть возможность, пожалуйста помогите. Упростите формулу логики высказываний,...

Упрощение формулы логики высказываний
Подскажите как лучше действовать в данном примере,раскрывал по разному,но ничего толкового не выходит. Знак |-означает отрицание. ...

Проверить истинность формулы логики предикатов. Формулы логики предикатов. Область истинности формулы
Помогите решить задания.Объясните как делать хотя бы первые 2.Или хотя бы укажите источник,благодаря которому получится решить данные...

Выразите элементарные формулы алгебры логики
Выразите элементарные ФАЛ: конъюнкцию, отрицание, дизъюнкцию f=\bar{abc}

Упрощение выражений алгебры логики
Я пытаюсь написать программу для упрощение выражений алгебры логики.Не могу придумать алгоритм для упрощения.Может кто нибудь уже...

упрощение формулы
Немогу упростить СДНФ -x-yz v -xy-z v -xyz v x-y-z v xyz куча некрасивых вариантов (помогите плыз Добавлено через 2 минуты Уменя...

Упрощение логической формулы
Упростите логическую формулу (запишите процесс упрощения). Используйте законы де Моргана для получения в итоговой формуле функций И-НЕ,...