упрощение формулы по информатике

[J-Den]

F(A;B)= A ^ нeB =>(AVB)

[tig81]

А задание какое?
Ваши наработки?

[J-Den]

я вощпе не в теме че задали непойму

[tig81]

ну без условия, что делать неепонятно

[Fairmont]

Если честно первый раз такое вижу, в википедии посмотрел похоже на булевые функции. Лучше подойдите к преподавателю и пусть он вам объяснит.

[DrXakep]

Это вроде бы логическое выражение
V - логическое И (Конъюнкция)
^ - логическое ИЛИ (Дизъюнкция)
НЕ - это я так понял отрицание, (обозначается как приставка в русском языке)

Но разобрать выражение я не смог, топикстартер (или просто автор темы) - напиши по-разборчивей (лучше прикрепить картинку с заданием, или оформить выражение в LaTeX)

[wital1984]

 Ага, а -> (стрелочка) это импликация.  Это формула вообще касается логики выссказываний, а не информатики (хотя ее проходят обычно до изучения основ програмимрования)http://ru.wikipedia.org/wiki/Логика_высказываний
У меня получилось, что эта формула всегда истинна (тавтология). Это можно доказать хотя бы при помощи таблицы истинности.

[tig81]

Судя по всему, автору темы это неинтересно, после создания темы он здесь не был.