За добрите математици

Ами Честно казано не разбирам логиката в дадения по-долу сайт.

И най-вече операцията x=>y.

   x  1 -1  1 -1  

   y  1  1 -1 -1  

x=>y  1  1 -1  1  

Тъй като теория по тая наука не съм чел, ще се радвам ако ме светне някой

[линк]

Аз съм!

само че вместо 0 както е обикновенно, пишат -1.
това е операцията импликация, тоест "ако" "тогава"
израза е неверен само ако първия аргумент (предпоставката) е истина, а втория (следствие) е лъжа.
с една дума "ако зайците летят, то аз съм трамвай"

Тя таблицата е такава щото после правят и таблици с -1, 0 и 1, където 0 е нито истина, нито лъжа

Аз съм!

Така като гледам, тук става въпрос за тризначна логика. В нейните термини не ми е ясно как точно се интерпретира импликацията. На мен лично най-лесно ми стана да я разбера, като започнах мислено да заменям
A=>B с еквивалентното 'не A или B' .
"Зайците не летят, или аз съм трамвай".


System Doctor Error:
Your girlfriend is pregnant.
(A)bort, (M)arry, (I)gnore?_