Основы

Законы алгебры логики

Законы алгебры логики записываются в виде формул, которые позволяют проводить равносильные преобразования логических выражений.

Ниже приводятся основные законы для логических операций. Используя законы алгебры логики, можно осуществлять тождественные преобразования формул, упрощать такие формулы. Это необходимо при создании логических схем и конструировании BEAM-роботов.

Переместительный закон



Сочетательный закон



Распределительный закон



Правило идемпотентности



Законы Де Моргана



Правила операций с константами



Законы инверсии (отрицания)



Снятие двойного отрицания



Кроме логических законов важное значение при упрощении выражений может иметь знание следствий из законов и правил логической алгебры.

Законы склеивания



Законы поглощения




Последнее следствие может быть представлено и следующим образом:



Важное дополнение

Знак отрицания над выражением дает возможность опустить скобки, в которые это выражение заключено (отрицание является самой старшей логической операцией).

При упрощении выражений следует помнить старшинство операций: инверсия, конъюнкция, дизъюнкция.


Содержание
Главная

  • О сайте

    BEAM-робототехника

  • BEAM-роботы
  • Искусственная жизнь
  • BEAM-философия
  • Технологии и устройство

    Основы

  • Электроника для начинающих
  • Электронные компонеты
  • Резистор
  • Конденсатор
  • Диод
  • Транзистор
  • Светодиод
  • Фототранзистор
  • Основы электроники

  • Алгебра логики
  • Логическое сложение
  • Логическое умножение
  • Логическое отрицание
  • Законы алгебры логики
  • Логические элементы

    Как сделать робота


    Робототехника для начинающих Как сделать первого робота
    Несколько увлекательных экспериментов с первым самодельным роботом


  • Как сделать простейшего робота в домашних условиях
  • Как сделать простого робота на одной микросхеме
  • Как создать робота, следующего по линии, с логической схемой
  • Самодельный танцующий робот

    Схемы роботов

    Технологии

  • Свободный монтаж в BEAM-робототехнике



    Цветовая маркировка резисторов
    Онлайн-калькулятор



    Библиотека

  • Классические публикации, связанные с BEAM-робототехникой




    Онлайн тренажер для обучения программированию

    Исполнитель робот

    ИСПОЛНИТЕЛЬ РОБОТ
    Тренажер для начального освоения алгоритмизации и программирования. Программируйте на лету в несколько кликов мышью со скростью полета мысли. Все работает онлайн и может быть использовано даже на мобильном телефоне. Тренируйтесь везде и всюду. Учитесь программировать вместе с исполнителем Робот каждую свободную минуту.