Таблиці істинності: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Basio (обговорення | внесок) м Відкинути редагування 188.190.32.215 до зробленого Addbot |
|||
Рядок 73:
З даної таблиці одержуємо, що вираз <math>~ p \to q</math> є еквівалентним <math>~ \neg p \ \lor \ q</math>.
За допомогою таблиць істинності можна доволі просто довести
:<math>
|