Формулы логики высказываний
C– «для фирмы целесообразна (привлекательна) стратегия «малого корабля»;
D– «для фирмы целесообразна (привлекательна) стратегия экономии издержек»;
С учетом введенных обозначений логическая формула для первого предложения примет вид:
(AЩB)®(С~D).
Второе предложение содержит новые простые высказывания:
K – «интенсивный маркетинг является стратегическим хозяйственным фактором организации»;
L – «интенсивный маркетинг является слабой стороной организации».
Логическая формула, представляющая второе предложение:
(KЩL)®(C~D).
В третьем предложении содержатся новые простые высказывания:
М – «интенсивный маркетинг является сильной стороной организации»;
N – «фирме следует придерживаться стратегии захвата новых рынков для существующего продукта».
Логическая формула для третьего предложения:
(KЩM)®N.
Окончательно текст записывается следующей логической формулой:
((AЩB)®(С~D))Щ( (KЩL)®(C~D))Щ( (KЩM)®N).
Для каждой формулы логики высказываний можно построить таблицу истинности.
Определение. Формула называется выполнимой (опровержимой), если существует такой набор значений переменных, при которых эта формула принимает значение 1 (0).
Определение. Формула называется тождественно-истинной, или тавтологией (тождественно-ложной или противоречием), если эта формула принимает значение 1 (0) при всех наборах значений переменных.
Пример 22.
Составить таблицы истинности для формул:
1. 
;
2. 
.