У нас есть логическое выражение .
Электронная схема состоит из логических вентилей -- базовых блоков, выполняющих элементарную логическую операцию (коньюнкция, инверсия, дизъюнкция итд), входных и выходных сигналов.
По ГОСТу вентили изображаются как прямоугольники с надписью, обозначающую операцию вентиля.
& -- коньюнкция,
1 -- дизьюнкция,
а кружок на сигнале, обозначает его инверсию.
Назовём выходной сигнал F (так как его надо как-то назвать). Смотрите рисунок. Немного кривой, т.к. рисовал в простом графическом редакторе, а не в специализированном ПО.
Таблица истинности -- таблица, задающая значение логической формулы для всех комбинаций переменных.
Напишем её:
1)А->¬B
A B ¬B A->¬B
1 1 0 0
1 0 1 1
0 1 0 1
0 0 1 1
2)A->B->(AVB)
A B A->B AVB (A->B)->(AVB)
1 1 1 1 1
1 0 0 1 1
0 1 1 1 1
0 0 1 0 0
3)A->B->¬ C^¬A=(A->B)->(¬ C^¬A)
A B C A->B ¬ C^¬A (A->B)->(¬ C^¬A)
1 1 1 1 0 0
1 0 1 0 0 1
0 1 1 1 0 0
0 0 1 1 0 0
1 1 0 1 0 0
1 0 0 0 0 1
0 1 0 1 1 1
0 0 0 1 1 1