АЛГЕБРА ЛОГИКИ
«Законы де Моргана»
КРОССВОРД НА ТЕМУ «АЛГЕБРА ЛОГИКИ»
2.
5.
1.
7.
3.
8.
4.
6.
По горизонтали:
- Английский математик и логик, в трудах которого в середине XIX в. появилась алгебра логики. В его честь назвали тип переменной Boolean в программировании и в 1964 году назван кратер на Луне.
- Наука об общих операциях, которые могут выполняться над различными математическими объектами.
- Операция следования, выражаемая связками «если…, то», «из … следует», «…влечет…».
- Составное высказывание, образованное в результате данной операции , истинно тогда, когда истинны все входящие в него простые высказывания.
- Операция, выражаемая словом НЕ и обозначающаяся чертой над высказыванием.
- Наука о способах и формах мышления.
- Операция равенства, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «…равносильно…».
- Составное высказывание, образованное в результате данной операции , истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
По вертикали:
Шотландский математик и логик, в 1847 изложил элементы логики высказываний. С его именем связаны известные теоретико-множественные соотношения.
КРОССВОРД НА ТЕМУ «АЛГЕБРА ЛОГИКИ»
Р
Ж
Д
О
Ж
Д
1.
А
Л
Г
Е
Б
Р
А
2.
Л
П
И
А
К
Ц
И
Я
И
М
3.
Ъ
Ю
Я
К
Н
И
Ц
Н
К
О
4.
Н
Е
Р
С
И
Я
В
И
5.
А
О
Л
Г
И
К
6.
И
В
Н
Л
Е
В
Ц
И
Я
А
К
Э
7.
Ъ
Д
Я
И
Ц
Н
К
З
Ю
И
8.
2 ноября 1815 – 8 декабря 1864
ДЖОРДЖ БУЛЬ
ДЕ
МО́РГАН
27 июня 1806 – 8 марта 1871
Общая инверсия двух логических слагаемых равносильна логическому умножению инвертированных переменных:
A
B
A B = A & B
6
Общая инверсия двух логических сомножителей равносильна логическому сложению инвертированных переменных:
B
A
A & B = A B
Законы де Моргана
A B = A & B
A & B = A B
