diff options
| author |  Mora Unie Youer <mora_unie_youer@riseup.net> | 2026-07-20 19:14:22 +0300 |
|---|---|---|
| committer | Mora Unie Youer <mora_unie_youer@riseup.net> | 2026-07-20 19:14:22 +0300 |
| commit | 902f9aa4c18c07969ca085bd4e0b719907d3a6c1 (patch) | |
| tree | 4ba28299ba170526437422fc48cde1b251ef8e5f /pd4r0u.md | |
| parent | snapshot: 2026-07-17 (diff) | |
| download | zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.gz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.bz2 zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.lz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.xz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.zst zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.zip | |
snapshot: 2026-07-20
Diffstat (limited to '')
| -rw-r--r-- | pd4r0u.md | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pd4r0u.md b/pd4r0u.md new file mode 100644 index 0000000..ebb2d17 --- /dev/null +++ b/pd4r0u.md @@ -0,0 +1,31 @@ +--- +id: pd4r0u +date: 2026-07-20T15:51:17+0300 +languages: [ru] +aliases: + +reviews: + +tags: +- draft +- knowledge +--- +# Существенные и фиктивные аргументы функции алгебры логики + +Существенный аргумент — это переменная, изменение которой хотя бы для одного набора остальных +переменных изменяет значение функции. + +Определение: аргумент $x_i$ является существенным, если существуют такие значения остальных +переменных, что +$f(..., x_i = 0, ...) \ne f(..., x_i = 1, ...)$ + + +Фиктивный (несущественный) аргумент — это переменная, изменение которой никогда не влияет на +значение функции. + +Определение: аргумент $x_i$ является фиктивным, если +$f(..., x_i = 0, ...) = f(..., x_i = 1, ...)$ +при любых значениях остальных переменных + +## Up +- [Алгебра логики](c5oolf) |