Побудова таблиць істинності за булевим виразом: записати всі можливі значення змінних; визначити кількість логічних операцій та їх порядок; записати логічні операції до таблиці істинності та визначити для кожної значення; підкреслити значення змінних, котрим F=1.
Алгоритм побудови таблиць істинності для складних виразів:
- Визначити кількість рядків: …
- Визначити кількість стовпців: …
- Заповнити стовпці результатами виконання логічних операцій у зазначеній послідовності з урахуванням таблиць істинності Основні логічні операції.
Правило побудови логічних схем:
- Визначити число логічних змінних.
- Визначити кількість базових логічних операцій та їх порядок.
- Зобразити для кожної логічною Операції відповідний їй вентиль.
- З'єднати вентилі у порядку виконання логічних операцій.
Lucidchart — один із найпопулярніших інструментів для створення логічних схем.
Визначте кількість рядків, необхідних таблиці істинності (виключаючи рядок заголовка). Додати ще один рядок для заголовка. Спираючись на (1) та (2), побудуйте перший набір стовпців для окремих атомарних речень. Завершіть рядок заголовка для таблиці істинності, де кожній атомарній пропозиції та оператору дано стовпець.
Знак "1" на схемі – від застарілого позначення диз'юнкції як "> = 1" (т. е. значення диз'юнкції дорівнює одиниці, якщо сума значень операндів більша або дорівнює 1).