How to write X= (A->B) V C in Wolfram|Alpha?

Questions
,
1

Hey I’m trying to find out the
disjunctive normalform
and
conjunctive normalform
of X = (A → B) V C
But it doesn’t work how so?

2

What have you tried? What “doesn’t work”?

Is this what you are looking for?

exp = (a \[Implies] b) \[Or] c

AssociationMap[BooleanConvert[exp, #] &, {"DNF", "CNF", "NAND", "NOR"}]
(* 
<|"DNF" -> ! a || b || c, "CNF" -> ! a || b || c, 
 "NAND" -> a \[Nand] ! b \[Nand] ! c, "NOR" -> ! (! a \[Nor] b \[Nor] c)|>
*)
3

How to write it in the Wolfram calculator.
It says Wolfram|Alpha doesn’t understand it.

Understand.PNG