Boolean simplifier APK 1.0 - Бесплатная загрузка

Загрузить APK

Последнее обновление: 3 Ноя 2021 г.

Информация о приложении

Это приложение, которое может упростить логическую алгебру, используя Law и KMAPS

Название приложения: Boolean simplifier

Идентификатор приложения: com.codeB.boolean

Рейтинг: 0.0 / 0+

Автор: sajith tiyenshan

Размер приложения: 4.70 MB

Подробное описание

Это приложение для веб-просмотра «https://www.boolean-algebra.com»
Логическое постулат, свойства и теоремы
Следующие постулаты, свойства и теоремы действительны в логической алгебре и используются для упрощения логических выражений или функций:

Постулаты - это явные истины.

1a: $ a = 1 $ (если устраивает 0) 1b: $ a = 0 $ (если a ≠ 1)
2A: 0 $ 0 = 0 $ 2B: 0+0 = 0 $
3a: 1 $ 1 = 1 $ 3B: 1 $ 1 = 1 $
4a: $ 1 ∙ 0 = 0 $ 4b: 1 $+0 = 1 $
5a: $ overline {1} = 0 $ 5b: $ overline {0} = 1 $
Свойства, которые действительны в логической алгебре, аналогичны и свойствам в обычной алгебре

Коммутативная $ a ∙ b = b ∙ a $ $ a+b = b+a $
Ассоциативный $ a ∙ (b ∙ c) = (a ∙ b) ∙ c $ $ a+(b+c) = (a+b)+c $
Распределение $ a ∙ (b+c) = a ∙ b+a ∙ c $ $ a+(b ∙ c) = (a+b) ∙ (a+c) $
Теоремы, которые определены в логической алгебре, являются следующими:

1a: $ a ∙ 0 = 0 $ 1B: $ a+0 = a $
2a: $ a ∙ 1 = a $ 2b: $ a+1 = 1 $
3a: $ a ∙ a = a $ 3b: $ a+a = a $
4a: $ a ∙ overline {a} = 0 $ 4b: $ a+ overline {a} = 1 $
5a: $ overline { overline {a}} = a $ 5b: $ a = overline { overline {a}} $
6a: $ overline {a ∙ b} = overline {a}+ overline {b} $ 6b: $ overline {a+b} = overline {a} ∙ overline {b} $
Применяя логические постулаты, свойства и/или теоремы, мы можем упростить сложные логические выражения и построить меньшую логическую блочную диаграмму (менее дорогой схемы).

Например, чтобы упростить $ ab (a+c) $, у нас есть:

$ Ab (a+c) $
= $ Aba+abc $ кумулятивный закон
= $ Aab+abc $ теорема 3A
= $ Ab+abc $ Закон о распределении
= $ Ab (1+c) $ Теорема 2b
= $ Ab1 $ теорема 2а
= $ Ab $
Хотя вышеуказанное - это все, что вам нужно для упрощения логического уравнения. Вы можете использовать расширение теорем/законов, чтобы упростить упрощение. Следующее уменьшит количество шагов, необходимых для упрощения, но будет сложнее идентифицировать.

7a: $ a ∙ (a+b) = $ 7b: $ a+a ∙ b = a $
8a: $ (a+b) ∙ (a+ overline {b}) = a $ 8b: $ a ∙ b+a ∙ overline {b} = a $
9a: $ (a+ overline {b}) ∙ b = a ∙ b $ 9b: $ a ∙ overline {b}+b = a+b $
10: $ a⊕b = overline {a} ∙ b+a ∙ overline {b} $
11: $ a⊙b = overline {a} ∙ overline {b}+a ∙ b $
⊕ = xor, ⊙ = xnor
Теперь используя эти новые теоремы/законы, мы можем упростить предыдущее выражение, подобное этому.

Чтобы упростить $ ab (a+c) $, у нас есть:

$ Ab (a+c) $
= $ Aba+abc $ кумулятивный закон
= $ Aab+abc $ теорема 3A
= $ Ab+abc $ Теорема 7

Загрузить APK