Правила

1. Нажмите кнопку «Приступить».
2. На экране список высказываний. Они обозначены буквами. Справа таблица с формулами знаний.
Внизу белое поле, где собирается составное высказывание. Над ним логические связки.
3. С помощью первой формулы соберите составное высказывание. Для этого нажимайте на буквы из списка и на связки.
4. В соответствии с формулой выберите логические связки и расположите на поле все части составного высказывания. Самостоятельно расставьте знаки препинания.
5. Определите, истинно или ложно полученное высказывание. Запишите в таблицу соответственно 1 или 0.
6. Перед переходом к следующей формуле очистите поле для построения связок, нажав на кнопку 'Очистить'.
5. Нажмите на кнопку «Посмотреть результат».

Приступить

a
выражение истинно
b
его отрицание будет ложным (0)
c
результатом эквивалентности является новое логическое выражение, которое будет истинным
d
ему соответствует значение логической переменной 0
e
оба исходных выражения одновременно истинны или ложны
f
и их дизъюнкция истинна
g
логические выражения равносильны
h
истинно хотя бы одно из входящих в него простых высказываний
i
их таблицы истинности совпадают
k
количество столбцов = n + количество логических операций
m
известно количество логических переменных n, количество строк m=2^n
n
составное высказывание, образованное в результате логического сложения, истинно
p
можно составить таблицу истинности
q
таблицы истинности совпадают
Формулы знаний Истинно (1) или ложно (0)
Пояснения

¬a НЕ а

a ∧ b a И b

a ∨ b a ИЛИ b

a → b ЕСЛИ a, ТО b

a ↔ b a ТОЛЬКО ТОГДА, КОГДА b
1. a→¬p
2. ¬a→d
3. c↔e
4. a∧f→q
5. m∨k→p
6. a→¬b
7. c↔a
8. m∨k→a
9. n↔h
10. q→¬a∨g
ЕСЛИ,ТО,И, НЕ, ИЛИ, ТОЛЬКО ТОГДА, КОГДА


Посмотреть результат
Правила
Очистить