Рассмотрим два высказывания:
A = «Основоположником алгебры логики является Джордж Буль»,
B = «Исследования Клода Шеннона позволили применить алгебру логики в вычислительной технике».
Очевидно, новое высказывание «Основоположником алгебры логики является Джордж Буль, и исследования Клода Шеннона позволили применить алгебру логики в вычислительной технике» истинно только в том случае, когда одновременно истинны оба исходных высказывания.
В таблице истинности перечисляются все возможные значения исходных высказываний (столбцы A и B), причём соответствующие им двоичные числа, как правило, располагают в порядке возрастания: 00,01,10,11. В последнем столбце записан результат выполнения логической операции для соответствующих операндов.
Конъюнкцию также называют логическим умножением.
Рассмотрим два высказывания:
A = «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу»,
B = «Лейбниц является основоположником бинарной арифметики».
Очевидно, новое высказывание «Идея использования в логике математической символики принадлежит Готфриду Вильгельму Лейбницу или Лейбниц является основоположником бинарной арифметики» ложно только в том случае, когда одновременно ложны оба исходных высказывания.
Дизъюнкцию также называют логическим сложением
Инверсию также называют логическим отрицанием
Для записи инверсии используются следующие знаки: НЕ;¬;−
Например: НЕ А;¬А;А−.
Инверсия определяется следующей таблицей истинности:
Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.
Email: Нажмите что бы посмотреть