#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <exception>
#include <fstream>
#include <functional>
#include <iomanip>
#include <ios>
#include <iosfwd>
#include <iostream>
#include <istream>
#include <iterator>
#include <limits>
#include <list>
#include <locale>
#include <map>
#include <memory>
#include <new>
#include <numeric>
#include <ostream>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <stdexcept>
#include <streambuf>
#include <string>
#include <typeinfo>
#include <utility>
#include <valarray>
#include <vector>
#include <climits>
#include <cstring>

#define rep(i, m, n) for(int i=int(m);i<int(n);i++)
#define all(c) begin(c),end(c)

template<typename T1, typename T2>
inline void chmin(T1 &a, T2 b) { if (a > b) a = b; }

template<typename T1, typename T2>
inline void chmax(T1 &a, T2 b) { if (a < b) a = b; }

//改造
typedef long long int ll;
using ll = long long int;
using ull = long long unsigned int;
using Int = long long int;
using namespace std;
#define INF (1 << 30) - 1
#define INFl (ll)5e15
#define DEBUG 0 //デバッグする時1にしてね
#define dump(x)  cerr << #x << " = " << (x) << endl
#define MOD 1000000007


//ここから編集する
class UnionFind {
    vector<int> p;//p[i]はiの属する組織
public:
    UnionFind(int n) {
        p = vector<int>(n);
        for (int i = 0; i < n; i++) {
            p[i] = i;
        }
        return;
    }

/* xの属する集合を返す */
    int find(int x) {
        if (p[x] == x) return x;
        return p[x] = find(p[x]);
    }

/* yにxを統合する */
    void unite(int x, int y) {
        p[find(x)] = p[find(y)];
    }

/* xとyが属する集合が同じかを判定する */
    bool same(int x, int y) {
        return find(x) == find(y);
    }

};

class Solve {
public:
    Int N, M, Q;
    vector<pair<Int, Int>> e0;
    vector<pair<Int, Int>> e1;

    void solve() {
        cin >> N >> M >> Q;
        for (int i = 0; i < Q; ++i) {
            Int A, B, C;
            cin >> A >> B >> C;
//            A--, B--;
            if (C == 0) {
                e0.emplace_back(A, B);
            } else {
                e1.emplace_back(A, B);
            }
        }

        UnionFind uf(N);
//        vector<Int> gr(N);
//        for (int i = 0; i < N; ++i) gr[i] = i;
        Int e0cnt = 0;

        for (auto e : e0) {
            int a = e.first;
            int b = e.second;
            if (uf.same(a, b)) {
//                cout << "No" << endl;
//                return;
            } else {
//                gr[uf.find(a)] = uf.find(b);
                uf.unite(a, b);
                e0cnt++;
            }
        }

        set<Int> gr;
        for (int i = 0; i < N; ++i) {
            gr.insert(uf.find(i));
        }
        Int T = gr.size(); // tree size
        if (T * (T - 1) / 2 + e0cnt < M) {
            cout << "No" << endl;
            return;
        }
        if (e0cnt + (T - 1) + !e1.empty() > M) {
            cout << "No" << endl;
            return;
        }


        for (auto e : e1) {
            int a = e.first;
            int b = e.second;
            if (uf.same(a, b)) {
                cout << "No" << endl;
                return;
            }
        }


        if (e1.size() > 0 && T < 3) {
            cout << "No" << endl;
        } else {
            cout << "Yes" << endl;
        }


    }
};


int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    cout << fixed << setprecision(10);

    Solve().solve();


    return 0;
}


Measured memory_bytes: 6896