Share
Explore BrainMass

Propositional Logic : Blood Types

Let the propositions have the intuitive meanings given in the Figure attached. Write a clause or product of clauses that express the following ideas.

(a) If test T is positive, then that person has blood type A or AB

(b) If test S is positive, then that person has blood type B or AB

(c) If a person has type A, the test T will be positive

Attachments

Solution Summary

Blood types are analyzed with propositional logic.

$2.19