Логические выражения

Ребят, помогите упростить логическое выражение

Code:

F = (A or (!B -> !C)) and !(!A -> A)

Заранее спасибо

 

-> че за оператор?

 

Импликация

 

ну походу если такая таблица:

!a a !a->a
1 0 0
0 1 1
0 1 1
1 0 0

чето сдается мне что !a->a == a и это всегда так.
теперя подумаю о левом выражении

 

Дело не в таблице истинности, я ее бы сто раз уже мог составить, нужно блин упростить его(( Но и на том спасибо)

 

да я пробую, погоди - еще не покинул тебя

 

!A and (B or !C)

 

Спасибо, я уже решил и очень обрадовало, то что ответы сошлись)