На вопрос, какая завтра будет погода, синоптик ответил: 1. Если не будет ветра, то будет пасмурная погода без дождя.

1. Выделим простые высказывания и запишем их через переменные:

 A – «Ветра нет»
 B – «Пасмурно»
 С – «Дождь»

 2. Запишем логические функции (сложные высказывания) через введенные переменные:
Если не будет ветра, то будет пасмурная погода без дождя:
 A → B & C
Если будет дождь, то будет пасмурно и без ветра:
С → B & A
Если будет пасмурная погода, то будет дождь и не будет ветра
 B → C &
в) Запишем произведение указанных функций:
 F=(A→ B & C) & (C→B & A) & (B→ C & A)
 Упростим формулу (используются законы де Моргана, переместительный закон, закон противоречия):

F=(A→ B &C) & (C→B & A) & (B→ C & A)

 = (A v B & C) & (C v B&A) & (B v C&A) =

= (A v B & C) & (B v C&A) & (C v B&A) =

= (A & B v B&C&B v A&C&A v B&C&C&A) &
 (C v B&A)=

= A & B &(C v B&A) =A&B&C v A&B&B&A =

= A&B&C

3. Приравняем результат единице, т.е. наше выражение должно быть истинным:F = A & B & C = 1 и проанализируем результат:

Логическое произведение равно 1, если каждый множитель равен 1.

A = 1; B = 1; C = 1.значит: A = 0; B = 0; C = 0;

Ответ: погода будет ясная, без дождя, но ветреная.