Алгебра логики изучает строение (форму структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.
Будут ли высказыванием следующие предложения?
Пятью пять – двадцать пять.
Пекин – столица Японии.
Информатика – любимый предмет.
Х+3=5
Победа!
Который час?
Ты сегодня пойдёшь в школу?
Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить.
Значением логического выражения могут быть только ИСТИНА (1) или ЛОЖЬ (0).
Составные высказывания
Причем, количество строк в таблице истинности вычисляется как 2n, где n – количество переменных, а
количество столбцов = количество переменных + количество логических операций.
Огастес (Август) де Морган – шотландский математик и логик.
назад
Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.
Email: Нажмите что бы посмотреть