Реалізація функцій формулами. Рівносильність формул
Всі формули поділяються на три типи: 1. Тотожно – істинні (ТІ). 2. Тотожно-хибні(ТХ). 3. Нейтральні (Н).
1. Формула F називається ТІ, якщо її значення при будь-яких значеннях висловлювання змінних = 1.
2. Формула F називається ТХ, якщо її значення при будь-яких значеннях висловлювання змінних = 0.
3. Формула F називається Н, якщо її значення при будь-яких значеннях висловлювання змінних = 1 або 0.
Формули F1 и F2 називаються рівносильними, якщо їх значення при будь-яких значеннях висловлювання змінних однакові. Кароче ответ функции у одной и второй совпадают.
Основні тотожності алгебри логіки. Принцип двоїстості. Правила де Моргана для висловлень.