Prove that the following formulas are constants by two methods (set table and equivalent transformations) : 1 . ( m →(N v Q)) →((M→N) v (M→Q))
2.((T v U) → V) → (T → (U → V))

Ask your question to the AI advisor

Ai-bot is an expert in any field and is the perfect companion for reliable and useful answers and advice on a variety of topics, including science, history, technology, art, sports, health, culture and more.