Recent content by aorick21

  1. A

    Logical Equivalence of x <=> y and (x-->y) ^ ((~x)-->(~y))

    Prove x <=> y is logically equivalent to (x-->y) ^ ((~x)-->(~y)).
  2. A

    Prove: a/c & c/d implies ac/bd

    suppose a, b, c, and d are integers. prove that if a/c and c/d, then (ac/bd)
Back
Top