Scribd
Upload
22 views1 page

Quiz 6 CPS S24 Sol

Uploaded by

Haris Nadeem
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
22 views1 page

Quiz 6 CPS S24 Sol

Uploaded by

Haris Nadeem
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Cyber-Physical Systems Name:

Spring 2024
Quiz 5
06/05/24
Time Limit: 20 Minutes Roll number

• Please do not write in the table to the right. Problem Points Score
1 10
Total: 10
1. (10 points) True or False Consider LTL formulas φ and ψ. Mark the following identities as
True or False and provide short explanations or counterexamples with the answer.
(a) (2 points) (T/F) FFφ ≡ Fφ
Solution: True

(b) (2 points) (T/F) XGφ ≡ GXφ


Solution: True

(c) (2 points) (T/F) F Gφ ≡ GF φ


Solution: False

(d) (2 points) (T/F) F (φ ∨ ψ) ≡ F φ ∨ F ψ


Solution: True

(e) (2 points) (T/F) F (φ ∧ ψ) ≡ F φ ∧ F ψ


Solution: False

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy