Формы записи высказываний. Алгоритмические способы решения логических задач

Пример 2: Вычислить значение функции:

при

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

Две формулы А и В будем называть равносильными (А=В или ), если они имеют одинаковые таблицы истинности. Будем считать две таблицы истинности одинаковыми, если у них одинаковые последние (результирующие) столбцы.

Пример:

В логике высказываний будем считать, что равносильные формулы задают одно и то же высказывание. Может оказаться, что в последнем столбце таблицы истинности стоят одни единицы или нули. Будем называть такое высказывание тождественно-истинным (тавтологией) соответственно тождественно-ложным (противоречием) и обозначать 1 и 0. Из определения следует, что для проверки равносильности формул нужно построить их таблицы истинности и сравнить

Пример:

Формулы и являются тождественно-истинными

Статьи по теме:

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

Упражнения с исключением зрительного контроля
Для развития кинестетического праксиса можно использовать упражнения с исключением зрительного контроля. Их следует выполнять в предлагаемой последовательности, по степени усложнения. В случае пропуска одного из упражнений или нарушения их порядка изменится технология формирования умений, из-за чег ...

Творческие подходы скульпторов и художников к созданию композиций из тестопластики
Рассматривая проблему нашего исследования с исторической и искусствоведческой точки зрения, скульптура, как вид изобразительного искусства, в XXI веке сформировалась под влиянием различных стилевых направлений художников, скульпторов и, в свою очередь, стала неотъемлемой частью оформления интерьеро ...