Пропозициональная формула

• Логика высказываний используется для анализа и упрощения высказываний. 
• Логические операторы включают AND, OR, NOT, IMPLICATION, XOR и другие. 
• Инженеры-электрики используют операторы AND-OR-SELECT и CASE (мультиплексор). 
• Логическая эквивалентность отличается от идентичности, и идентификация и оценка требуют аксиом для определения поведения символов. 
• В формальном исчислении утверждений используются оценочные аксиомы для анализа и упрощения формул. 
• Инженеры создают «комбинаторные логические схемы» для использования связок без обратной связи. 
• Определения создают новые символы и их поведение, часто для сокращения формул. 
• Индуктивное определение логики высказываний использует связки и определяет наименьший набор выражений для данного набора пропозициональных переменных. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.