Закон ассоциативности в алгебре логики полностью аналогичен закону ассоциативности в обычной алгебре чисел:
(*ответ*) да
нет
Законы Де Моргана позволяют менять операцию дизъюнкции на конъюнкцию, и наоборот:
(*ответ*) да
нет
Логическая функция от трех аргументов может иметь восемь значений:
(*ответ*) да
нет
Логическое отрицание - унарная операция:
(*ответ*) да
нет
Любую бинарную логическую операцию можно свести к единственной операции - импликации:
(*ответ*) нет
да
Операции булевой алгебры аналогичны обычным операциям алгебры чисел:
(*ответ*) нет
да
Операция конъюкции обладает свойством коммуникативности:
(*ответ*) да
нет
Принцип работы большинства компьютеров основан на булевой алгебре:
(*ответ*) да
нет
Свойство ассоциативности состоит в том, что операнды можно переставлять местами:
(*ответ*) нет
да
Существуют всего два основных правила получения новых формул алгебры логики:
(*ответ*) да
нет
Существуют всего четыре разных булевых функций с одним аргументом:
(*ответ*) да
нет
Унарная операция применяется только к одной переменной, константе или формуле:
(*ответ*) да
нет
В исчислении высказываний общезначимая формула и тавтология - разные понятия:
(*ответ*) нет
да
В исчислении высказываний существует четыре вида сентенциональных связок:
(*ответ*) нет
да
В классическом исчислении высказываний принимается, что каждый простой формуле сопоставляется один элемент из {T, F}:
(*ответ*) да
нет
В математической логике высказывание - любое повествовательное предложение:
(*ответ*) нет
да
В сложных формулах без скобок конъюкция выполняется раньше импликации:
(*ответ*) да
нет
Высказывание - повествовательное предложение, которое является истинным:
(*ответ*) нет
да
Дизъюнкция двух высказываний истинна тогда и только тогда, когда оба составляющих высказывания истинны:
(*ответ*) нет
да
Импликация - сложное предложение, составленное из двух простых, соединенных связкой "тогда и только тогда":
(*ответ*) нет
да
Импликация двух простых высказываний ложна тогда и только тогда, когда первое высказывание истинно, а второе ложно:
(*ответ*) да
нет
Истинностная таблица для сложного высказывания, составленного из N простых содержит N в квадрате строк:
(*ответ*) нет
да