Question: How to define a truth table and get correct results?

Define a function (a implies b) is equivlent to (b or not a)

implies(a,b) truth table: (a) is in left column and (b) is in the top row

Implies  |  true  false

-------------------------

true      |  true  false

false     |  true  false

such that : implies(true,false)=flase ,implies(false,true)...

you need to show results that meet the truth table

I put this in, while I did get an error in the first part, the right answers still came out...

with(Logic):

Equivalent(a &implies b,b &or '&not' (a)):

                              Error, unable to match delimiters

implies(true,false)

                             false

implies(true,true)

                             true

implies(false,true)

                             true

implies(false,false)

                             true