Verification question (do we build

Verification question (do we build the system right?) : if the hardware has the properties C, and the software has the properties P, then the system requirements S will be satisfied.
C and P  S
Conclusion:
D and C and P  R

Results (Indonesian) 1:

Pertanyaan verifikasi (apakah kita membangun sistem kanan?): jika perangkat keras memiliki sifat C, dan perangkat lunak memiliki sifat P, maka persyaratan sistem S akan puas.  C dan P SKesimpulan:C dan d dan P  R

Results (Indonesian) 2:

Pertanyaan verifikasi (kita membangun sistem yang tepat?):. Jika perangkat keras memiliki sifat C, dan perangkat lunak memiliki sifat P, maka persyaratan sistem S akan puas
C dan P  S
Kesimpulan:
D dan C dan P  R