Alterna · учебный материал

DPF: Disturbing normal shape

DPF is a non-producive normal form, Minterma, the designer of the DSF on the truth table.

Что в этом материале

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

Back to the table of contents
Alterna chapter 28 page 28.1
DPF: Disturbing normal shape
Minterms, designer, visualization of the truth table.
DPF
- it's a dissunction of the () conditions of the literals, every situation is called
Mintherm
The NRF reads: "F=1 if at least one mintherm has been completed."
GEF
PIF
EEG No. 2
He's got a little bit of depth.
Relationship to the previous one.
B
Chapter 28, "Chief"
We have learned the concepts of normal forms.
DPF
- The first one is through the minters and the designer.
01
What's a DSF?
DPF
(disturbing normal shape) is the formula of the species:
F = (K₁) ∨ (K₂) ∨ … ∨ (Kₙ)
Where everyone
Kᵢ
- The situation of the literals.
Literal
- a variable or a denial.
Examples of NRFs:
F = A ∨ ¬B ∨ C
- Solo literal DPF (accident)
F = (A∧¬B) ∨ (¬A∧C)
- A two-track NRF.
F = A∧B∧C
- The NDF is from a single situation.
F = (A∨B) ∧ C
- Not NDF: from above, the situation with disjunction inside
NDF drive algorithm:
1. Open up double denials (
2. Apply de Morgan (B(A10/B) = BA, B(A)B = BB)
3. Open the brackets through distribution (A
02
Minterms
Minterm
- the situation in which
All
variable functions (one time at a time, either with or without denial).
For F(A,B,C)
A=1, B=0, C=1
:
A ∧ ¬B ∧ C
Rule: variable
without B
if its value is = 1,
c V
if = 0.
A
B
C
Minterm
Symbol
0
0
0
¬A∧¬B∧¬C
m₀
0
0
1
¬A∧¬B∧C
m₁
0
1
0
¬A∧B∧¬C
m₂
0
1
1
¬A∧B∧C
m₃
1
0
0
A∧¬B∧¬C
m₄
1
0
1
A∧¬B∧C
m₅
1
1
0
A∧B∧¬C
m₆
1
1
1
A∧B∧C
m₇
For n variables, there are exactly 2n different minterms.
03
DPF Designer
🔨
Build a DSF on the truth table.
Choose the number of variables and tick the line where F is equal to 1. Press "Construct the NDF".
Pec:
Выбери строки (F=1) и нажми «Построить ДНФ».
04
Visualizer: What Mines Is True?
💡
Enter the variables — see which minters = 1
Enter the values A, B, C (0 or 1) and press Check.
A:
B:
C:
05
Check the formula for the NDF.
🔍
Is the introduced NDF formula?
Enter a logical expression. Use: or & , , or , B or ! Example:
A∧¬B∨C
Введите формулу и нажмите «Проверить».
🎯
Mini-test: 5 NRF questions
XP: 0
🧩
NRF test
Five questions, 20 XP for every correct answer.

Structural map of textbooks