⏱️

Server temporarily unable to display the requested page

A server failure may have occurred or brief technical maintenance is being performed.
You can always check the current server status in the Telegram community chat.

Reload page
504
"Логика для всех"

Логика для всех / Учебные материалы

 

Логические связки

  • отрицание
    • "неверно что ...", "не ..."
      • ~a.
  • конъюнкция
    • "... и ..."
      • a & b (a, b - конъюнкты).
  • дизъюнкция
    • "... или ..."
      • a v b (a, b - дизъюнкты).
  • импликация
    • "если ..., то ..."
      • a => b (a - основание, b - следствие).
  • эквивалентность (равнозначность)
    • "... тогда и только тогда ...", "... если и только если ..."
      • a <=> b.

Таблицы истинности

a~a
10
01
a&b
111
100
001
000
aVb
111
110
011
000
a=>b
111
100
011
010
a<=>b
111
100
001
010

Все в одной таблице:

a b ~a ~b a & b a V b a => b a <=> b
11001111
10010100
01100110
00110011
 

TopList

Сайт управляется системой uCoz