Логика в информатике

Логическая операция образуется соединением двух высказываний в одно с помощью союза «И». (истинна тогда и только тогда, когда оба высказывания истины)
Логическая операция образуется соединением двух высказываний в одно при помощи оборота речи «…тогда и только тогда, когда…» (истина тогда и только тогда, когда, оба высказывания истины или ложны)
Я
И
Р
О
Т
К
Н
Н
Ю
Ъ
З
И
Д
Ц
К
Н
Ю
Ъ
И
З
Н
К
Ц
И
Я
Ъ
К
О
О
И
Т
Я
П
З
А
В
Ы
С
Е
Г
Е
Р
Е
И
Н
А
В
Ы
Р
Е
В
Н
Р
Т
С
И
Т
Т
А
Я
И
С
И
Р
Я
И
Г
О
Л
О
Р
Е
Г
Г
Г
Э
К
В
В
А
Л
Е
Н
Ь
Т
С
Н
Л
Р
О
Т
К
Н
Ю
Ъ
Н
К
Р
Е
В
И
А
К
И
Ж
Д
Е
Н
Е
Р
О
Т
М
О
З
А
С
У
Е
Ч
Ю
Л
У
М
Е
И
Н
К
И
Л
П
Я
И
Ц
А
М
М
А
Т
О
С
У
Логический элемент, который выдает на выходе значение логической суммы входных сигналов
Логическая операция, образуется соединением двух высказываний в одно с помощью оборота речи «если…., то…» (ложна тогда и только тогда, когда из истинного высказывания следует ложное)
Устройство, которое может запоминать сигналы 0 и 1, демонстрировать их, а в случае необходимости и забывать.
Логическая операция образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…». (истина, когда высказывание ложно, ложно, когда высказывание истинно)
Логический элемент, который выдает на выходе значение логического произведения входных сигналов.
Форма мышления, в которой что либо утверждается или отрицается о предметах, их свойствах или отношениях между ними.
Основной узел арифметико-логического устройства ЭВМ и служит для суммирования чисел посредством поразрядного сложения.
Форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение – заключение.
Повествовательное предложение, относительно которого можно сказать, истинно оно или ложно.
Форма мышления, в которой отражаются отличительные существенные признаки предметов.
Логическая операция образуется соединением двух высказываний в одно с помощью союза «ИЛИ». (ложна тогда и только тогда, когда оба высказывания ложны, и истина, когда хотя бы одно высказывание истинно)
Совокупность параллельно соединенных триггеров для запоминания и демонстрации двоичного числа.
Закон алгебры высказываний.
Логический элемент выдает на выходе сигнал, противоположный сигналу на входе, т.е. на его выходе будет 1, если на вход поступит 0 и наоборот.
Наука о законах и формах рационального мышления, методах формализации содержательных теорий.

Источник определений:
Логика в информатике/ В.Ю. Лыскова, Е.А. Ракитина; М.: Лаборатория Базовых Знаний, 2004