幾個問題

1. let A and B be propositional formulas. then B is logically consequence of A iff (A and ~B) is
satisfiable
2.which one of the following propositional formulas logically implies all others?
(a) ~p and q (b) p->q (c) p or q (d) q

3.how many strongly connected components in a path with n vertices?
4.矩陣AX<=B的解有幾組?
A= b=
[1 -1 0 0 0] [0]
[1 0 0 0 -1] [-1]
[0 1 0 0 -1] [1]
[-1 0 1 0 0] [5]
[-1 0 0 1 0] [4]
[0 0 -1 1 0] [-1]
[0 0 -1 0 1] [-3]
[0 0 0 -1 1] [-3]
第一題是F?
第二題是要問什麼呢?

麻煩解答了 感謝