Спирина, М.С. Дискретная математика

Т а б л и ц а 4.5 Словарь перевода на язык алгебры логики Высказывание на русском языке Соответ­ ствие в алгебре логики Название операции Таблица истинности Круги Эйлера Не А; неверно, что А; А не имеет места А Отрицание, инверсия А А 0 1 1 0 щ А или В; или А , или В, или оба вместе Л v В Нестрогая дизъюнк­ ция (соеди­ нительная) А В A w В 0 0 0 0 1 1 1 0 1 1 1 1 <т Либо А , либо В: А или В, но не оба вместе А у В Строгая дизъюнкция (разделитель­ ная) А В А У В 0 0 0 0 1 1 1 0 1 1 1 0 т А и В; как А , так и В; не только А, но и В; А вместе с В; А , несмотря на В; А , в то время как В А л В А В А & В Конъюнкция А В А В 0 0 0 0 1 0 1 0 0 1 1 1 (30 Если А , то В; А , только если В; А достаточно для В; В необхо­ димо для А; А вле­ чет В , В тогда, ко­ гда А; из А следу­ ет В А -> В Импликация, следование А В А ^ В 0 0 1 0 1 1 1 0 0 1 1 1 А эквивалентно В; А тогда и только тогда, когда В; А , если и только если В; А необхо­ димо и достаточ­ но для В Л = В А <-> В А ~ В Тождествен­ ность, равно­ сильность, эквиваленция А В А ^ В 0 0 1 0 1 0 1 0 0 1 1 1 о 144