logical

Исходный код на git logical_operations Introduction to Logical Operations Это тренажёр для знакомства с базовыми логическими действиями: Отрицание Сложение Умножение Для перехода на следующий уровень необходимо ответить 10 раз подряд правильно. Отрицание Инверсия — логическое отрицание (обозначается ¬, NOT или чертой над логической переменной) Отрицание истинного высказывания делает его ложным. Отрицания ложного высказывания делает его истинным. В речи используется НЕ. А - Это кошка. ¬A - Это НЕ кошка. Пусть 0 - это ложное высказывание. Пусть 1 - это истинное высказывание. A | ¬A ------------ 0 | 1 1 | 0 Сложение Дизъюнкция — логическое сложение (обозначается ∨, OR или значком +) Для того чтобы составное высказывание было истинным необходимо, чтобы хотя бы одна из его частей была истинной. В речи используется союз или. А - Число 4 четное. В - Число 4 больше десяти. А + В - Число 4 четное или больше 10. Составное высказывание истинно, так как одна из частей истинна. Пусть 0 - это ложное высказывание. Пусть 1 - это истинное высказывание. A | B | A + B ------------------- 0 | 0 | 0 0 | 1 | 1 1 | 0 | 1 1 | 1 | 1 Умножение Конъюнкция — логическое умножение (обозначается ∧, AND или значком *) Для того чтобы высказывание было истинным необходимо, чтобы обе части составного высказываниям были истинными. В речи используется союз и. А - Зимой холодно. В - Зимой идёт снег. А * В - Зимой холодно и идёт снег. Составное высказывание истинно, так как обе части истинны. Пусть 0 - это ложное высказывание. Пусть 1 - это истинное высказывание. A | B | A * B ------------------- 0 | 0 | 0 0 | 1 | 0 1 | 0 | 0 1 | 1 | 1