Дискретная математика. Логика

[mosya12345]

Найти все логические следствия двух посылок $F_1=\overline{x} \vee y$ и
$F_2=z \vee x \vee y$
С чего начать, подскажите?
Я правильно понял: Найти $F_1 \to F_2$ и $F_2 \to F_1$ составив таблицы истинности?

[cyb12]

Я так понимаю, нужно найти логические следствия системы формул $\{F_1,F_2\}$, то есть множество формул $\varphi,$ таких, что если $I$ -- модель для этой системы, то она и модель для $\varphi$?
То есть нужно найти множество $\{\varphi = \varphi(x,y,z) \,:\,F_1\&F_2\to\varphi \equiv 1\}$.

[mosya12345]

cyb12 в сообщении #396662 писал(а):

Зачем вам импликации?

Так я как раз не знаю с чего начать. Подскажите, пожалуйста.

-- Сб янв 08, 2011 14:55:26 --

cyb12 в сообщении #396662 писал(а):

То есть нужно найти множество .

Как я понял строю таблицу истинности для нахождения $F_1\&F_2$, тогда как искать $\varphi$