Логика - это наука о формах и способах мышления. Понятие; Понятие; Высказывание; Высказывание; Умозаключение Умозаключение Основные формы мышления:

это форма мышления, фиксирующая основные, существенные признаки объекта. СодержаниеСодержание ОбъемОбъем

Высказывание может быть истинно или ложно. это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. это форма мышления, с помощью которой из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». Истинно =1 Ложно=0

Для образования новых высказываний используются базовые логические операции: инверсия логическое отрицание операция не конъюнкция дизъюнкция логическое умножение операция и логическое сложение операция или операция или

неинверсия Логическое отрицание - операция не - инверсия НЕ А АА(вход) Ā(выход) 01 10

иконъюнкция Логическое умножение - операция и - конъюнкция И А В С C=A&BА(вход)В(вход)С(выход)

илидизъюнкция Логическое сложение - операция или - дизъюнкция ИЛИ А В С C=A۷B А(вход)В(вход)С(выход)

Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.

Логические законы и правила преобразования логических выражений Закон тождества: всякое высказывание тождественно самому себе.А=А Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А=1 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А ۷ А=1 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.А=А

Логические законы и правила преобразования логических выражений Законы Моргана:Законы Моргана: А ۷ В=А & В А & В=А ۷ В

Таблицы истинности 1.Количество строк = 2 ª, где а – количество переменных; 2.Количество столбцов = количество переменных + количество логических операций

Пример F(A,B,C) = (A^B) ۷ (Ā ۷ C)