summaryrefslogtreecommitdiff
path: root/content/digarden/20210428005214-логика.org
blob: 6e53ab425b7231419d1cf4c904c1f917bb6881cc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
:PROPERTIES:
:ID:       2b0bd9ed-a344-4f00-8233-6a1833a2902a
:END:
#+title: Логика
* Виды логик
- [[id:42eaf23a-e722-4628-b93c-fe21909be18b][Формальная логика]]
- [[id:b97a9c9f-adb1-4270-87fa-79b0d59c53df][Диалектика]]
- Модальная логика

* Таблицы истинности формальной логики
  A и B входы, Q -- результат
** OR (ИЛИ)
   | A | В | Q |
   |---+---+---|
   | 0 | 0 | 0 |
   | 0 | 1 | 1 |
   | 1 | 0 | 1 |
   | 1 | 1 | 1 |
** AND (И)
   | A | B | Q |
   |---+---+---|
   | 0 | 0 | 0 |
   | 0 | 1 | 0 |
   | 1 | 0 | 0 |
   | 1 | 1 | 1 |
** XOR (ИЛИ-НЕ)
   | A | B | Q |
   |---+---+---|
   | 0 | 0 | 1 |
   | 1 | 0 | 0 |
   | 0 | 1 | 0 |
   | 1 | 1 | 0 |
** XAND (И-НЕ)
   | A | B | Q |
   |---+---+---|
   | 0 | 0 | 1 |
   | 0 | 1 | 1 |
   | 1 | 0 | 1 |
   | 1 | 1 | 0 |

* Видео
- [[https://www.youtube.com/watch?v=fAp43BuPVxk][Есть ли логика в логике]]

* Люди
- [[https://ru.wikipedia.org/wiki/%D0%98%D0%B2%D0%B8%D0%BD%2C_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%90%D1%80%D1%85%D0%B8%D0%BF%D0%BE%D0%B2%D0%B8%D1%87][Ивин, Александр Архипович]]