Итоговый контроль к разделу "Алгебра высказываний"

 

Вариант 1

1.    Дайте характеристику логической операции отрицание (определение, обозначения, таблица истинности)

2.    Придумайте высказывание для формулы: если А, то не В

3.    Формализуйте логическое высказывание: Мы пойдем гулять в парк или поедем за город

4.    Постройте отрицание для высказывания: На улице сухо

5.  Постройте таблицу истинности  для логического выражения: F=Av(¬В&¬А)

 

Вариант 2

1.    Дайте характеристику логической операции конъюнкция (определение, обозначения, таблица истинности)

2.    Придумайте высказывание для формулы: если (А и В), то С

3.    Формализуйте логическое высказывание: Что неясно представляешь, то неясно и высказываешь

4.    Постройте отрицание для высказывания: Сегодня выходной день

5.  Постройте таблицу истинности  для логического выражения: F=¬A&(¬BvА)  

 

Вариант 3

1.    Дайте характеристику логической операции импликация (определение, обозначения, таблица истинности)

2.    Придумайте высказывание для формулы: (В и С) или не А

3.    Формализуйте высказывание: Все планеты солнечной системы имеют форму шара и вращаются вокруг солнца

4.    Постройте отрицание для высказывания: В школу поставили новые компьютеры

5.  Постройте таблицу истинности  для логического выражения: F=(¬Av¬B)&С

 

Вариант 4

1.    Дайте характеристику логической операции дизъюнкция (определение, обозначения, таблица истинности)

2.    Придумайте высказывание для формулы: не А или (В и не С)

3.    Формализуйте высказывание: Если в равном четырехугольнике диагонали имеют равную длину, то этот четырехугольник - ромб

4.    Постройте отрицание для высказывания: Петя сегодня не был готов к урокам

5.  Постройте таблицу истинности  для логического выражения: F=¬A(¬B&vС) 

 

 Вы можете приступать к изучению раздела "Логические законы и правила преобразований логических выражений"