Построить таблицу истиности логических формул

[Светуля]

 A ˅ B͞͞͞͞͞͞͞͞͞ →(C¯˄ A¯) ↔ A¯ помогите пожалуйста разобраться с решением этого задания.

[Данила]

берете все возможные наборы A,B,C и ищете значение функции по табличкам (http://ru.wikipedia.org/wiki/%D0%91%D1%83%D0%BB%D0%B5%D0%B2%D0%B0_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F)
A B C  F
0 0 0  1
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

объясняю на первом наборе
смотрим выражение в скобках конъюнкция при обоих оперндах = 1 будет равна одному,значит выражение в скобках = 1
далее смотрим 1ую дизъюнкцию. 0 дизъюнкция 1. дизъюнкция всегда = 1,кроме случая 0 0. значит и тут 1.
далее импликация между двумя единицами (скобка и дизъюнкция) дает  1 всегда,кроме случая 1=>0. значит вся часть слева от знака равносильности(<->) = 1
Справа от знака равносильности 1, слева тоже , значит значение будет = 1
и так нужно для всех наборов