350 views
0 votes
0 votes
F={AB$\rightarrow$C,A$\rightarrow$C}

G={A$\rightarrow$C}   FIND EQUVALIANT ARE NOT?

1 Answer

1 votes
1 votes
F=AB->C,A->C    G=A->C

FOR EQUIVALENT(F MUST COVER G & G MUST COVER F)

F COVERING G :               A->C IS COVERED(IT SIMPLE IT IS IN BOTH FDS)

G COVERING F:               A->C IS COVERED

                                            AB->C IS COVERED ((AB)+=C IN G)

Related questions

0 votes
0 votes
1 answer
3
jason33 asked Apr 17, 2017
263 views
Are the following implications right or wrong and how?1. for_every_x( p(x) >q(x) ) - (for_every_x(p(x)) for_every_x(q(x)))2. (der_exist_x(p(x)) >der_exist_x(q(x))) ...
2 votes
2 votes
1 answer
4
yes asked Oct 6, 2015
1,329 views
for example array contain a[1 2 3 3 3 3 3 4 5] then retun(1)