2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Задача
Сообщение27.10.2013, 16:20 
$1) A\rightarrow (C \rightarrow \bar{B} ) $ (Если будет жарко, то необходимым условием пасмурной погоды будет отсутствие ветра)
$ 2)C\rightarrow \bar A \bar B$ (Пасмурное небо бывает только при холодной и безветренной погоде.)
$3) B\rightarrow (A \rightarrow \bar{C} ) $ (Если будет ветрено, то достаточным условием жаркой погоды будет ясное небо.)
$4)\bar{C}\rightarrow(B\rightarrow\bar{A})$ (Если небо будет ясным, то погода будет холодной, если будет дуть ветер)
$5) C\rightarrow  (B \rightarrow \bar{A} ) $ ( Пасмурное небо является необходимым условием ветреной и холодной погоды.)
Я правильно понял? Дальше что делать? Записать каждый пример в отдельных скобках и перемножить друг на друга?
Или по условию задачи из первых трех только 2 верных..и они сводятся к одному простейшему..брать первые 3 примера и их перемножать?

 
 
 
 Re: Задача по логике
Сообщение27.10.2013, 16:33 
Аватара пользователя
Может, сначала сравнить пары и посмотреть, когда они могут выполняться вместе?

Можно еще переписать следование через дизъюнкцию. Не приглядывалась внимательно, но, кажется 1) и 3) совпадают.

 
 
 [ Сообщений: 17 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group