Укажите, какие из функций, заданных приведенными формулами, являются тождественно истинными

  • ((x → y) → ((x → ¬z) → (y → ¬z)))
  • ((x → y) → ((¬y → ¬z) → (¬x → ¬z)))
  • ((¬x → y) → ((y → z) → (¬x → z)))
  • ((¬x → ¬y) → ((¬x → (¬y → z)) → (¬x → z)))
Для просмотра статистики ответов нужно залогиниться.