Algebra logic: a deeper level

Содержание и основные понятия

By table of contents
Chapter 29
Algebra logic: a deeper level
Eiler-Venn diagrams · Laws · Full systems · 16 functions 2 variables
GEF
PIF
EEG No. 6
EEG No. 2.15
He's got a little bit of depth.
Path to this chapter:
G.15 Logic
→
G.18 Bull algebra
→
G. 27 Algebra (angle)
→
G.28 NPF and KNF
→
G.29 — Now
What's this chapter about?
We're moving to a deeper level. The main tool is
Euler-Venn diagrams
:: It solves the EGE No. 6 (logic search) task, followed by the laws of logic algebra, functional completeness ({NAND}, {NOR}) and classification of all 16 functions from two variables.
📍
Chapter Pages
29.1
⭕
Eyler-Venna Figures
Logic search, AND/OR/NOT queries, task EGE No. 6 Interactive Visualizer and Task Generator.
EEG No. 6
OGE No. 6
Interactor
29.2
⚖️
Laws and complete systems
De Morgan, absorption, glue, distribution, functional completeness test {NAND}, {NOR}.
EEG No. 2
EGE No. 15
laws
29.3
📊
16 functions 2 variables
All 16 boulder functions from two variables: classification, truth tables, connection to NAND/NOR.
He's got a little bit of depth.
EEG No. 2
29.4
🏋️
Workshop
50 tasks for all chapter topics: Eulerian diagrams, laws, complete systems, EGE format.
50 tasks
OGE+EG
29.5
🏆
Polygon examination
Test from the OGE Bank/EEG Tasks, Quest 800 XP, interactive assistant to EEG No. 6.
ECGE/EGB Bank
800 XP
💡
Quick start: Key ideas
♪ Eyler-Venna Figures
Each multiple is a circle. Circles are elements that satisfy several conditions. They are used in EGE No. 6 "Logic Search".
A AND B → пересечение кругов A и B
A OR B → объединение кругов A и B
NOT A → всё вне круга A
♪ Full systems
A set of operations that can be expressed
Any
a logical function.
{NAND}
- Full (one operation!)
{NOR}
- Full
{¬, ∧}
- Full
{∧, ∨}
- Not full (no B)
A
B
A∩B
A * B = intersection