1. 
  Преобразовать логическое произведение логических сумм в логическую сумму логических произведений :
 (A+B+C)*(C+B+A)

2.
  Переписать выражение, данное в "программистской" записи,  в выражение в "математической записи", после чего это выражение упростить :
not ((E and A and C) or not (C and 0) or not (D and A or B)) or (D and not D) 

3.
  Перевести с русского языка на язык Булевой Алгебры и упростить выражение:
((((A и неB) или (A и B)) или ((C и неD) или (C и D))) и A и B и C и D) или (A и B и C и неD)

4.
  Функция F(A,B,C,D) задана своей таблицей истинности :
***********************
A B C D ***** F(A,B,C,D)
***********************
0  0  0  0 ***** 0
0  0  0  1 ***** 0
0  0  1  0 ***** 0
0  0  1  1 ***** 0
0  1  0  0 ***** 0
0  1  0  1 ***** 0
0  1  1  0 ***** 0
0  1  1  1 ***** 1
1  0  0  0 ***** 0
1  0  0  1 ***** 0
1  0  1  0 ***** 0
1  0  1  1 ***** 0
1  1  0  0 ***** 0
1  1  0  1 ***** 0
1  1  1  0 ***** 1
1  1  1  1 ***** 1
  Написать в универсальном логическом базисе выражение для функции G(A,B,C,D)=S(F(C,C,B,D), F(D,C,B,A)), где S(X1,X2)-это функция Шеффера.

5.
  Чтобы не загромождать сайт рисунками, позвольте мне ввести свой значок для функции "обратная импликация" :
О.И. (X1,X2).
  Функцию G(A,B,C,D) берём из предыдущего задания.
  Вопрос такой : "Всегда ли истинна обратная импликация :
О.И. (G(A,B,C,D),G(D,C,B,A)) ?"

О том, что такое функция Шеффера и что такое обратная импликация можно прочитать прямо на моём сайте прямо вот здесь.

Главная страница.
Весь текст в линеечку.