ЛОГИКА. Метод резолюций

[Tlalok]

С помощью дистрибутивного закона.
$a \vee \left( {b \wedge c} \right) = \left( {a \vee b} \right) \wedge \left( {a \vee c} \right)$
Только вместо $a$ у Вас будет $\overline{A}\& B $

[Di081]

(Оффтоп)

интернет заработал)) я уж думала все пропала ))

получается $(\overline{A} \wedge B \vee B) \wedge (\overline{A} \wedge B \vee \overline{A})$ .. а дальше можно за скобки выносить и сокращать?? или я опять что-то путаю

[Tlalok]

А у меня другой ответ

[Di081]

Ну так ;) ;) ;) хелп ми плиз;) ай донт ноу

[Tlalok]

$\left( {\left( {\overline A \wedge B} \right) \vee A} \right) \wedge \left( {\left( {\overline A \wedge B} \right) \vee \overline B } \right)$

Затем повторить.

[Di081]

ёк макарек))) я просто скобки не поставила))я извиняюсь))

-- Чт янв 27, 2011 19:32:11 --

$A \vee B, \overline{A} \vee \overline{B}$ Так же???

[Tlalok]

Да. Но у меня к Вам вопрос. Как Вы из
$ ....\Rightarrow \overline{A\vee B} \vee A \& B$
получили
$ ... , \overline{A}\& B \vee A \& \overline{B}$

[Di081]

)))))))))) ну как вам сказать)) убрала отрицание по Моргану.. проще написать.. момент
$\overline{A} \wedge \overline{B} \vee A \wedge B$
$1 \wedge \overline{A} \vee B \wedge \overine{B} \vee A \wedge 1$
а потом перенесла вв левую часть

(Оффтоп)

я опять напортачила?

[Tlalok]

Я просто перенес в левую часть сразу после

Di081 в сообщении #405461 писал(а):

$\overline{A} \wedge \overline{B} \vee A \wedge B$

и сократил объем работы.

[Di081]

ну вы это вы))) а я и логика несовместимы))) Логика во всех смыслах слова))))
во я дурко))))

[Tlalok]

Зря Вы так.

[Di081]

итого у меня не получается доказать методом резолюций.. странно...

-- Чт янв 27, 2011 20:39:05 --

Tlalok в сообщении #405487 писал(а):

Зря Вы так.

я же любя про себя так)))

[Tlalok]

Надо подумать. Maple говорит, что высказывание тождественно ложное.

[Di081]

вы уже писали так в какой-то теме ;) ну этот метод я вроде усвоила;) и ноль никак не получается

[Tlalok]

Вроде бы получилось

$$\begin{array}{*{20}{l}}{1.\,\overline A \vee B}&{8.\,\left( {\overline A \vee B} \right) \wedge \left( {A \vee B} \right) = B}&{\,\left( {1,6} \right)}\\{2.\,\overline C \vee D}&{9.\,\left( {A \vee C} \right) \wedge \left( {\overline C \vee \overline B } \right) = A \vee \overline B }&{\,\left( {3,5} \right)}\\{3.\,A \vee C\,}&{10.\left( {\,\overline A \vee \overline B } \right) \wedge \left( {A \vee \overline B } \right) = \overline B }&{\,\left( {7,9} \right)}\\{4.\,\overline A \vee \overline D \,}&{11.\,B \wedge \overline B = 0}&{\,\left( {10,11} \right)}\\{5.\,\overline C \vee \overline B }&{}&{}\\{6.\,A \vee B}&{}&{}\\{7.\,\overline A \vee \overline B }&{}&{}\end{array}$$