Двузначна логика

Произходът на думата логика е гръцки, като в древността логос е означавало дума, понятие,
мисъл, разум. В наши дни може да се обобщи, че с логика означаваме общите закономерности на
мисленето. Предмет на нашите занимания все пак не е логиката изобщо, а математическата логика -
науката за правилните математически разсъждения и изводи. Мнозина учени са дали своя принос за
развитието на тази част от математиката, но сме длъжни да споменем ирландския математик Джордж
Бул (1815 - 1864), който полага основите на математическата логика (неслучайно се среща и терминът
Булева алгебра).
1. Съждение
изречение на естествен език, за което по безспорен начин може да се отговори дали е вярно или не.
Следователно следните изречения :
# Това е черна котка. Днес е слънчево. Десет се дели на две.
са съждения, докато изложените по-долу:
# Бягай ! Добре ли си ? Не съществуват извънземни. не са.
Особено показателен е случаят с последното изречение - тъй като няма безспорен отговор на
въпроса има или няма извънземни, изречението не може да бъде разглеждано като съждение.
Ако едно съждение е вярно, казваме че то има верностна стойност истина, а ако не е вярно,
казваме че верностната му стойност е неистина (лъжа).
За означаване на стойността истина се използва Т (true - истина(англ.)) или 1, а за означаване
на стойността неистина се използва F (false - лъжа(англ.)) или 0.
Тъй като всяко съждение може да има верностна стойност истина или неистина (1 или 0), то
наричаме логиката двузначна или още двоична.
# Пример: Съждението ,,12 се дели на 5" има верностна стойност 0, докато съждението ,,Слънцето
изгрява от изток" - 1 .
Стойностите 1(Т) и 0(F) се наричат съждителни константи, а променливите, които приемат
само такива стойности,се наричат съждителни променливи.
2. Прости и сложни (съставни) съждения
Лесно може да се забележи, че съжденията се различават доста едно от друго.
#Пример
,,Иван е чернокос" и ,,Тони също е чернокос, но сега се е изрусил"
Първото е пределно кратко и не съдържа в себе си друго съждение, докато второто като че ли е
съставено от две - ,,Тони е чернокос" и ,,Тони се е изрусил" .
а) Съждения, които не съдържат в себе си други съждения, се наричат прости.
б) Сложни или съставни се наричат такива съждения, които се състоят от поне две прости
съждения.
#Пример ,,Навън вали" е просто съждение, докато ,,Навън вали и аз имам чадър" е съставно съждение.
2.1. Образуване на сложни съждения.
Имаме съждението „Аз обичам информатика но нямам компютър”, свързани със съюза „но”. Ако
се абстрахираме в известния емоционален елемент в това „но”, всъщност става въпрос за съждението
„Аз обичам информатика и аз нямам компютър”, с което говорещият обявява, че едновременно са
налице два факта – „Обичам информатика” и „Нямам компютър”.

Отношението „И” конюнкция
Връзката между двете прости съждения в горния пример е съюзът „и”, в който се влага
определен смисъл – отношението „и” е вярно когато свързаните чрез него съждения са едновременно
верни.

Двузначна логика И.Наков Стр. 1 от 4


Отношението „ИЛИ” дизюнкция
Съждението състоящо се от двете прости съждения „Едно е по-голямо от Две” и „Две плюс Две е
равно на Четири”. Тук връзката между двете прости съждения е съюзът „или”, в който се влага
определен смисъл, а именно – отношението „или” е вярно когато поне едно от двете свързани чрез него
съждения е вярно. Следователно съждението е вярно. /ЗАЩО/

Отношението „НЕ”
За всяко съждение може да се образува неговото отрицание. Връзката между съждението и
отрицанието му е, че ако едното от тях е истина, то другото не е и обратното. За образуване на
отрицание на съждение в българският език обикновено (но не винаги) се използва отрицателната
частица „не”, която се прибавя пред сказуемото. В говоримият език се използва и словосъчетанието „Не
е вярно, че ...” или глагол-антоним (мразя-обичам, губя-печеля, и т.н.). Логическо отрицание - при
един аргумент променя стойността му от 1 в 0 или обратно от 0 в 1. Например ако а е съждителна
променлива, то отрицанието на a можем да запишем по следните начини: !a, nota, ¬a, и др.. По-нататък
е използвано означението !, тъй като в езика за програмиране “С++”, който може би ще бъде предмет на
изучаване, е използвано точно това означение за логическото отрицание.
3. Логически променливи функции.
Съжденията, подобни на променливите в алгебрата ще означаваме с латински букви.
Обикновенно стойността на едно съждение се означава с 1, когато съждението е вярно (тук 1 не
означава число, а истинност), и с 0 – когато не е вярно.
Когато разглеждаме логически отношения подобни на алгебричните операции, можем да
образуваме логически изрази, на пример:
Знакът ∧ се ползва за означаване на операцията И, наричана още логическо
a∧b
умножение.
Знакът v се ползва за означаване на опрецията ИЛИ, наричана още логическо
avb
събиране.
Знакът ! се използва за означаване на отрицание в случая на сложното твърдение b
av!(b∧c) ∧ c, вместо този знак ! се ползва и надчертаването на съответната буква или израз,
например b∧
∧c
а) Логически функции.
Стойностите на логическите изрази зависят, т.е. са функции от участващите в тях логически
променливи. И стойностите на променливите, и стойностите на функциите са само две – истина или
лъжа, които се означава с 1 и 0. Затова се казва, че логическите функции са двоични функции на
двоични променливи /аргументи/.
x 0 0 1 1 таблица
В таблица №1 се дават стойностите на y 0 1 0 1
трите въведени логически функции при
№1
И(x∧y) 0 0 0 1
различни комбинации от стойности на
двата аргумента ИЛИ ( x v y ) 0 1 1 1

Следните свойства на логическите функции отрицание, умножение и събиране се използват често:

x∧1=x x∧0=0 x∧ x =0 x∧x=x

xv1=1 xv0=x xv x =1 xvx=x

б) Закон на Морган.

Двузначна логика И.Наков Стр. 2 от 4

За трите основни функции са в сила още два важни закона, наречени на  x∧y=xv y
името на английският математик Август де Морган /1806-1881/, който
първи е посочил тяхното значение:  x v y= x ∧ y
Всяка от горните свойства лесно се доказва, като се провери дали е изпълнено за всяка възможна
комбинация от стойности на логическите променливи, участващи в него. За целта е удобно
използването на таблица, подобно на следващите.
x 0 0 1 1
# Пример:
y 0 1 0 1
Образуваме таблица, в която ще
пресмятаме лявата и дясната страни на  ПОПЪЛВАМЕ ИЗПОЛЗВАЙКИ таблица №1
за всяка комбинация от стойности на х и y.

x∧y 1 1 1 0
Съвпадението на двата последни реда
доказва закона . xvy 1 1 1 0

# Пример:
Образуване на съждения-отрицания с използване на закона на Де Морган.
Да се образува съждение, противоположно на „Днес е слънчево и обичам информатика”. Ако
означим даденото съждение с „р”, а съставящите го прости съждения – с a = ”Днес е слънчево” и
b=”Обичам информатика”, задачата се свежда до определяне на логическото отрицание на p = a ∧ b.
От първият закон на Де Морган  ще имаме: p = a ∧ b = p = a v b , т.е. съждението-отрицание е
„Днес не е слънчево или не обичам информатика”.
За получаване на отрицанието p =”Ще умра или ще победя” p се представя като p = a v b,
където а =”ще умра” и b=”ще победя”. От  следва: p = a v b = a ∧ b , т.е. съждението-отрицание
„Няма да умра и няма да победя”.
Îñíîâíà òåîðåìà: Много важен факт в двоичната логика е фактът, че всички възможни
двоични функции, независимо от това колко е броят на аргументите им, могат да се представят като
логически изрази, в които участват само трите логически операции – едноаргументната ! (НЕ), и
двете двуаргументни ∧ (И) и v (ИЛИ).

# # # # Задачи за упражнение # # # #
а) Открийте кои операции са използвани за образуване на всяко от сложните съждения:
· ,,Вазов е поет или писател"
· ,,Обичам да карам кола, но нямам своя собствена"
· ,,Ако закупите стока за повече от 50 лв, ще получите подарък"
· ,,Това е заек или котка"
· ,,Един равнобедрен триъгълник е равностранен тогава и само тогава, когато един от ъглите му е равен
на 60° "
б) Ако са дадени съжденията а=,,Ще си науча по информатика" и b=,,Ще отида на кафе" ,
запишете как ще изглеждат сложните съждения, съставени по моделите:

 aORb  aANDb !!aANDb  aORb  a→b

Пресметнете:
а) p=0 q=1 r=1
(p → q) ∧ ((q \/ r ∧ p) ∧ (p → r)) = ?
r \/ ((p → q) /\ (r ∧ r)) = ?
((r → p) \/ (p ∧ p) ∧ (q → q)) = ?
б) p=1 q=0 r=1
(r →p) \/ ((p ∧ r) -> p ∧ (q ∧ r)) = ?
((p ∧ q) \/ r) → ((p \/ r) ∧ (r → r)) = ?
p ∧ q ∧ (r → q) \/ (( p ∧ r) \/ r) = ?
Двузначна логика
в) p=1 q=1 r=0
(p \/ q ∧ r)→(r \/ r → p)∧r = ?
q \/ ((r \/ p) ∧ (q -> p)) = ?
p∧q∧(r → p)\/((p ∧ r) \/ r) = ?
И.Наков Стр. 3 от 4
 Òàáëèöà çà èñòèííîñò
отношението „и” е вярно когато свързаните чрез него съждения са едновременно верни
x y x∧ y
“И ( x ∧ y )” - логическо ,,и" – конюнкция Означава се с ∧ или с AND 0 0 0
има стойност 0, когато поне един от аргументите й има стойност 0 0 1 0
има стойност 1, когато и двата аргумента са равни на 1 1 0 0
1 1 1
Пример: z =,,Момчил е рус и синеок"
Ако x =,,Момчил е рус" , а y =,,Момчил е синеок" , то z= x∧
∧y. Наистина съждението с ще има стойност 1, само ако Момчил е
едновременно рус и синеок, т.е. само когато и двете съставящи го съждения имат стойност 1.

отношението „или” е вярно когато поне едно от двете свързани чрез него съждения е вярно
x y x vy
“ИЛИ ( x v y )” - изключващо ,,или"(дизюнкция) Означава се с v или с OR.
0 0 0
има стойност 1, когато поне един от аргументите й има стойност 1 0 1 1
има стойност 0, когато и двата аргумента са равни на 0 1 0 1
1 1 1
Пример: z =,,Тони е на плаж или е някъде с приятели"
Ако x =,,Тони е на плаж" , а y =,,Тони е някъде с приятели" , то z = x v y. Наистина съждението с ще има стойност 0 само
ако Тони не е на плаж, нито е с приятели, т.е. само когато и двете съставящи го съждения имат стойност 0.

Връзката между съждението и отрицанието му е, че ако едното от тях е истина, то другото не е и обратното
x !x
Логическо отрицание – означава се с ! 0 1
1 0

АКО x ТО y ( x → y ) - импликация ( следва, ако … , то …) Означава се с →. x y x →y

0 0 1
Като първият се нарича предпоставка, а вторият - следствие.
0 1 1
Резултатът от импликацията е 0 1 0 0
когато предпоставката е вярна (1), а следствието е грешно (0).
1 1 1
В останалите случаи импликацията има стойност 1.
Пример: Ако x =,,Имаш двойка за годината" и y =,,Ще се явяваш на поправка" , то съждението z =,,Ако имаш двойка за
годината, то ще се явяваш на поправка" може да се разглежда като z = x → y. Ако е вярно само x, то z е невярно, докато в
останалите случаи с е вярно.
Наистина, ако някой има 2 за годината, то единствената възможност е да се яви на поправка, докато ако няма двойка,може да
не се явява, но може и да се явява (ако е направил твърде много отсъствия например).

 Използваните означения са съобразени с настоящия учебен материал.

В различните учебни помагала те могат да бъдат други.

Двузначна логика И.Наков Стр. 4 от 4