𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A logical characterization of observation equivalence

✍ Scribed by Stephen L. Bloom; Douglas R. Troeger

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
643 KB
Volume
35
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Equivalences among logics of programs
Equivalences among logics of programs
✍ Albert R. Meyer; Jerzy Tiuryn πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 742 KB
Possibilities of logically equivalent ex
Possibilities of logically equivalent expressions
✍ Harvey J. Greenberg πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 97 KB

If A is logically equivalent to B, it is not necessary that #(A) = p(B). This technical note proves, however, that if A is in CNF, there exists some logically equivalent DNF, B, such that p(A) = #(B). Β© 1997 Elsevier Science B.V. Let #(P) denote the possibility of P being true, where 0 ~< p(P) ~< 1.