А в с (c^a) bv(c^a) a=>bv(c^a)
0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 0 1 1
0 1 1 0 1 1
1 0 0 0 0 0
1 0 1 1 1 1
1 1 0 0 1 1
1 1 1 1 1 1
v - дизъюнкция(складываем)
^ - конъюкция (умножаем)
Последовательность действий - как в математике. Сначала то, что в скобках, потом остальное.Ну вт, как то так :)