2. Эквивалентность формул
Формулы F1 и F2 эквивалентны (равносильны), если
реализуемые ими функции совпадают, т.е.имеют одни и те же
значения истинности на одинаковых наборах значений
переменных.
x y F1=xv¬y F2=¬(¬x&y)
0 0 1 1
0 1 0 0
1 0 1 1
1 1 1 1
3. Тавтологии
Формула называется тавтологией, если она принимает
только истинные значения при любых значениях переменных.
Другими словами, тавтология – это тождественно истинная
формула.
x y F1=xv¬xv¬y
0 0 1
0 1 1
1 0 1
1 1 1
4. Противоречия
Формула называется противоречием, если она принимает
только ложные значения при любых значениях переменных.
Другими словами, тавтология – это тождественно ложная
формула.
x y F1=x&¬x&y
0 0 0
0 1 0
1 0 0
1 1 0
5. Использованные материалы:
• Гданский Н.И. Информатика. Профильный уровень:
практикум для 10-11 классов : в 2 ч. Ч. 1/ Н.И. Гданский,
А.В. Карпов. – М. : БИНОМ. Лаборатория знаний, 2012.