Kernel: Python 2 (SageMath)
Please copy this code into your own CoCalc notebook so that you can work with it independently.
In [1]:
Truth table for (a or b)->c
abc|sentence
True True True | True
True True False | False
True False True | True
True False False | False
False True True | True
False True False | False
False False True | True
False False False | True
None
Truth table for (a and b)->(c->a)
abc|sentence
True True True | True
True True False | True
True False True | True
True False False | True
False True True | False
False True False | True
False False True | False
False False False | True
None
In [0]: