Самостоятельная работа

Дата добавления: 2014-11-24 | Просмотров: 571

1. Постройте таблицы истинности для формул:

а) (АВ ® С) « (А® ( ));

б) ( ) « ( ).

2. Упростите формулы:

а) ((ВС ® А) ® (В Ú А ® )) ® ВС;

б) (( ® В) ® С) ® В(А « );

в) .

3. Логично ли рассуждение:

а) А ® В Ú С, ╞ С;

б) А, В ® С, А ® (В ® С)╞ АВ ® С?

4. Упростите схему

а) б)

5. Найдите истинностное значение формулы F в интерпретации j:

а) F = (A(B Ú ) « A Ú (B ® C)) Ú А ® СD; j:

б) F = Ú C ® ((А ® D) « ( ® В)); j:

6. Постройте наиболее простую схему из функциональных элементов, эквивалентную данной:

а)

б)