Элементы математической логики. Практическая работа 2. Вариант 1

Краткое описание

Практическая работа №2 «Логические формулы»

 ВАРИАНТ № 1

1.Записать функцию f(x1,x2, x3) c помощью логических  операций, если f1 – v, f2 - &, f3 - ?, f4 - ?.

Составить таблицу истинности. Вычислить значение функции при наборе: (0,1,1).   

f(x1,x2, x3) = f1( x3, f3 ( x1, f2 ( f4 ( x1 ), x2)))

2.Доказать равносильность формулы: А v ( А & В) = А с помощью таблиц истинности.  

3.Представить логической формулой следующее высказывание. Установить его правильность  с помощью таблиц истинности/

Если «Спартак» выиграет у «Динамо», то он будет призером. «Спартак» выиграет у «Динамо» или проиграет. Следовательно, если «Спартак» не проиграет, то он будет призером.

4.Построением  таблицы истинности подтвердить справедливость правила логически правильных рассуждений:              

                                            А?С, В ?С, А v В

                                                          С

5.Логическую функцию (см. задание 1) представить булевой формулой – в виде СДНФ.