Формулы алгебры высказываний

Как видим столбцы совпадают, значит формула верна.

Как видим, для представления любой формулы достаточно 3-х операций: конъюнкции, дизъюнкции и отрицания; импликацию и эквивалентность можно выразить по формулам 11 и 12 через выше перечисленные функции.

3. Теперь решим несколько примеров на закрепление:

Докажите с помощью таблиц истинности равносильность формул:

/\0

АВ

4. Задание на дом: с.74–76,

Это интересно:

Методические разработки по теме: "Простые и сложные вещества"
Цель урока: Знать определение атома, молекулы, простого и сложного вещества. Уметь различать простые и сложные вещества; смеси и сложные вещества. Знать отличие смеси и сложного вещества. Оборудование: Шаровые модели молекул воды, Штатив с пробирками, реактивы (железо, вода, сера, карбонат кальция) ...

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

Математический смысл действий сложения и вычитания
Сложение Действие сложение и вычитание рассматривается с точки зрения различных теорий: количественной теории, аксиоматической теории и теории измерения величин. По правилам построения аксиоматической теории, определение сложения натуральных чисел нужно ввести, используя только отношение "непо ...