Well, within Boolean logic, for a statement of the form
If (A and B) then C
the table is
(A and B ) true and C true -> statement true
(A and B ) true and C false-> statement false
(A or B ) false and C true -> statement true
(A or B ) false and C false -> statement true
As under standard conditions carbon dioxide is vapour and carbon is usually not, your statement is always true for carbon dioxide, no matter what you wrote in the beginning, while for carbon it is false unless you redefine liquid.