Задача по логике! Составить логическую формулу и построить таблицу истинности

[Kisya-the-best]

Помогите, пожалуйста!
Составить логическую формулу для сложного высказывания и построить таблицу истинности:"В случае нарушения или оспаривания прав потребитель может обращаться в суд с иском о защите своих прав и охраняемых интересов".(Ст.16 Закона "О защите прав потребителей").
Пусть:  А-в случае нарушения;
В- оспаривания прав потребитель может обращаться в суд с иском о защите своих прав;  
С- охраняемых интересов
Тогда формула такая- А+(дизъюнкция)В*(конъюнкция)С. Только не понимаю какие выражения ложные, а какие истины. И как строить таблицу!

[InfStudent]

А таблицу вы строите так: каждому участвующему выражению придаете все возможные истинностные значения и тем самым ее получаете. Пример:
A^B

--
A   B  A^B
0    0   0
1    0   1
1     1  1  ^-конъюнкция,0-ложь,1-истина  
  То есть вы выписываете все возможные комбинации значений  

[Nikgamer]

Коньюнкция истинна тогда и только тогда, когда оба высказывания истинны. Дизъюнкция ложна тогда и только тогда, когда оба высказывания ложны. Из ложной посылки может следовать все что угодно, из истины следует только истина.
Только вы же неверно формулу записали, нет?
Пусть А-нарушение В-оспаривание, С-иск о защите и D иск об охр. интересах
Формула такая (AvB)->(C&D)

[InfStudent]

да во второй строке опечатался

[InfStudent]

Да Nikgamer прав.  

[Kisya-the-best]

Так?
А   В    АvВ           С     D      С^D  
0   0      0             0     0        0
1   0      1             1     0        0
0   1      1             0     1        0
1   1      1             1     1        1


или надо все комбинации:
АvВ    BvA    CvA    DvA       A^B    B^A    C^D    D^C    
АvC    BvC    CvB    DvB       A^C    B^C    C^A    D^A  
АvD    BvD    CvD    DvC       A^D    B^D    C^B    D^B      

[Nikgamer]

Так, теперь осталось сделать импликацию.
Я в виде спойлера напишу решение
[spoiler]
АvВ       С^D   (AvB)->(C^D)
 0           0             1
 1           0             0
 1           0             0
 1           1             1
Вот ваша таблица истинности. Формула будет истинной, если ее все переменные либо истинны, либо ложны.
[/spoiler]
Ну, блин, в этих дуралейских симпл машинсах нет же этого тэга. Админ, ставь воблу, десу.

[Kisya-the-best]

Так, теперь осталось сделать импликацию.
Я в виде спойлера напишу решение
[spoiler]
АvВ       С^D   (AvB)->(C^D)
 0           0             1
 1           0             0
 1           0             0
 1           1             1
Вот ваша таблица истинности. Формула будет истинной, если ее все переменные либо истинны, либо ложны.
[/spoiler]
Ну, блин, в этих дуралейских симпл машинсах нет же этого тэга. Админ, ставь воблу, десу.

Не поняла я о чем это Вы тут, ну да ладно! Спасибо огромное за помощь!

[sediachei]

Формализовать высказывание:
«Если любить и быть любимым, то будешь счастливым, значит быть счастливым и любить это тоже самое, что и быть счастливым, если невероятно любить и не быть любимым. Отсюда вывод: будешь не счастливым, если, либо быть любимым»;
Решение: